Symbolic and Numerical Scientific Computation

Symbolic and Numerical Scientific Computation
Author: Franz Winkler
Publisher: Springer Science & Business Media
Total Pages: 399
Release: 2003-06-30
Genre: Computers
ISBN: 3540405542

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001. The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering.

Axiom

Axiom
Author: Richard D. Jenks
Publisher: Springer Verlag
Total Pages: 786
Release: 1992
Genre: Axiom (Computer file).
ISBN:

Mathematics of Computing -- Mathematical Software.

Numerical Analysis and Scientific Computation

Numerical Analysis and Scientific Computation
Author: Jeffery J. Leader
Publisher: Addison-Wesley Longman
Total Pages: 0
Release: 2004
Genre: Numerical analysis
ISBN: 9780201734997

This text is intended for a first course in Numerical Analysis taken by students majoring in mathematics, engineering, computer science, and the sciences. This text emphasizes the mathematical ideas behind the methods and the idea of mixing methods for robustness. The optional use of MATLAB is incorporated throughout the text.

Scientific Programming

Scientific Programming
Author: Jorge Alberto Calvo
Publisher: Cambridge Scholars Publishing
Total Pages: 562
Release: 2018-12-19
Genre: Computers
ISBN: 1527523845

This book offers an introduction to computer programming, numerical analysis, and other mathematical ideas that extend the basic topics learned in calculus. It illustrates how mathematicians and scientists write computer programs, covering the general building blocks of programming languages and a description of how these concepts fit together to allow computers to produce the results they do. Topics explored here include binary arithmetic, algorithms for rendering graphics, the smooth interpolation of discrete data, and the numerical approximation of non-elementary integrals. The book uses an open-source computer algebra system called Maxima. Using Maxima, first-time programmers can perform familiar tasks, such as graphing functions or solving equations, and learn the basic structures of programming before moving on to other popular programming languages. The epilogue provides some simple examples of how this process works in practice. The book will particularly appeal to students who have finished their calculus sequence.

Numerical and Symbolic Scientific Computing

Numerical and Symbolic Scientific Computing
Author: Ulrich Langer
Publisher: Springer Science & Business Media
Total Pages: 361
Release: 2011-11-19
Genre: Mathematics
ISBN: 3709107946

The book presents the state of the art and results and also includes articles pointing to future developments. Most of the articles center around the theme of linear partial differential equations. Major aspects are fast solvers in elastoplasticity, symbolic analysis for boundary problems, symbolic treatment of operators, computer algebra, and finite element methods, a symbolic approach to finite difference schemes, cylindrical algebraic decomposition and local Fourier analysis, and white noise analysis for stochastic partial differential equations. Further numerical-symbolic topics range from applied and computational geometry to computer algebra methods used for total variation energy minimization.

Scientific Computing - An Introduction using Maple and MATLAB

Scientific Computing - An Introduction using Maple and MATLAB
Author: Walter Gander
Publisher: Springer Science & Business
Total Pages: 926
Release: 2014-04-23
Genre: Mathematics
ISBN: 3319043250

Scientific computing is the study of how to use computers effectively to solve problems that arise from the mathematical modeling of phenomena in science and engineering. It is based on mathematics, numerical and symbolic/algebraic computations and visualization. This book serves as an introduction to both the theory and practice of scientific computing, with each chapter presenting the basic algorithms that serve as the workhorses of many scientific codes; we explain both the theory behind these algorithms and how they must be implemented in order to work reliably in finite-precision arithmetic. The book includes many programs written in Matlab and Maple – Maple is often used to derive numerical algorithms, whereas Matlab is used to implement them. The theory is developed in such a way that students can learn by themselves as they work through the text. Each chapter contains numerous examples and problems to help readers understand the material “hands-on”.

Symbolic Computation for Statistical Inference

Symbolic Computation for Statistical Inference
Author: David F. Andrews
Publisher: Oxford University Press, USA
Total Pages: 184
Release: 2000
Genre: Mathematics
ISBN: 9780198507055

Over recent years, developments in statistical computing have freed statisticians from the burden of calculation and have made possible new methods of analysis that previously would have been too difficult or time-consuming. Up till now these developments have been primarily in numerical computation and graphical display, but equal steps forward are now being made in the area of symbolic computing: the use of computer languages and procedures to manipulate expressions. This allows researchers to compute an algebraic expression, rather than evaluate the expression numerically over a given range. This book summarizes a decade of research into the use of symbolic computation applied to statistical inference problems. It shows the considerable potential of the subject to automate statistical calculation, leaving researchers free to concentrate on new concepts. Starting with the development of algorithms applied to standard undergraduate problems, the book then goes on to develop increasingly more powerful tools. Later chapters then discuss the application of these algorithms to different areas of statistical methodology.

Projects in Scientific Computation

Projects in Scientific Computation
Author: Richard E. Crandall
Publisher: Springer Science & Business Media
Total Pages: 500
Release: 2000-06-22
Genre: Computers
ISBN: 9780387950099

This interdisciplinary book provides a compendium of projects, plus numerous example programs for readers to study and explore. Designed for advanced undergraduates or graduates of science, mathematics and engineering who will deal with scientific computation in their future studies and research, it also contains new and useful reference materials for researchers. The problem sets range from the tutorial to exploratory and, at times, to "the impossible". The projects were collected from research results and computational dilemmas during the authors tenure as Chief Scientist at NeXT Computer, and from his lectures at Reed College. The content assumes familiarity with such college topics as calculus, differential equations, and at least elementary programming. Each project focuses on computation, theory, graphics, or a combination of these, and is designed with an estimated level of difficulty. The support code for each takes the form of either C or Mathematica, and is included in the appendix and on the bundled diskette. The algorithms are clearly laid out within the projects, such that the book may be used with other symbolic numerical and algebraic manipulation products

Computer Algebra in Scientific Computing

Computer Algebra in Scientific Computing
Author: François Boulier
Publisher: Springer Nature
Total Pages: 644
Release: 2020-10-17
Genre: Computers
ISBN: 3030600262

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.

Symbolic and Numerical Computation for Artificial Intelligence

Symbolic and Numerical Computation for Artificial Intelligence
Author: Bruce R. Donald
Publisher:
Total Pages: 392
Release: 1992
Genre: Computers
ISBN:

Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and artifical intelligence, such as engineering design, solid and geometric modelling, robotics and motion planning, and machine vision. This research has produced few applications within engineering and robotics because of the combinatorial cost of symbolic techniques. Therefore, it is essential to investigate approaches for systematic integration of symbolic with numerical techniques which are efficient for handling the huge amount of data that arises in practical applications, while at the same time maintain a logically consistent solution framework. Symbolic and Numerical Computation for Artificial Intelligence gives an overview of applications in machine vision, robotics and engineering design where there is a need for integrating symbolic and numerical methods. It also illustrates the case for an integrated symbolic and numerical environment to support the needs of these applications. This book will be essential reading for researchers in applied mathematics, symbolic and algebraic manipulation, and applied artificial intell