The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation. This book presents 27 research articles on the integration and interaction of symbolic and numeric computation.
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.
This extensive library of computer programs-written in C language-allows readers to solve numerical problems in areas of linear algebra, ordinary and partial differential equations, optimization, parameter estimation, and special functions of mathematical physics. The library is based on NUMAL, the program assemblage developed and used at the Centre for Mathematics and Computer Science in Amsterdam, one of the world's leading research centers. The important characteristic of the library is its modular structure. Because it is highly compact, it is well-suited for use on personal computers. The library offers the expert a prodigious collection of procedures for implementing numerical methods. The novice can experiment with the worked examples provided and use the more comprehensive procedures to perform mathematical computations. The library provides a powerful research tool for computer scientists, engineers, and applied mathematicians. Applicable materials can be downloaded from the CRC Press website.
This book showcases powerful new hybrid methods that combine numerical and symbolic algorithms. Hybrid algorithm research is currently one of the most promising directions in the context of geosciences mathematics and computer mathematics in general. One important topic addressed here with a broad range of applications is the solution of multivariate polynomial systems by means of resultants and Groebner bases. But that’s barely the beginning, as the authors proceed to discuss genetic algorithms, integer programming, symbolic regression, parallel computing, and many other topics. The book is strictly goal-oriented, focusing on the solution of fundamental problems in the geosciences, such as positioning and point cloud problems. As such, at no point does it discuss purely theoretical mathematics. "The book delivers hybrid symbolic-numeric solutions, which are a large and growing area at the boundary of mathematics and computer science." Dr. Daniel Li chtbau
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
This volume consists of papers delivered at the International Mathematica Symposium 2003 ? an interdisciplinary meeting bringing together users of Mathematica in research and education. It gathers research papers, reports on classroom practice, reports on the use of Mathematica in industry and commerce, and descriptions of fresh applications.List of contributors: J Nash, S Wolfram, R Maeder, B Buchberger and C McTague.
The book consists of state-of-the-art chapters on Nevanlinna theory, Fatou-Julia theory, entire and meromorphic functions, several complex variables, computer applications to complex analysis, line bundles, and collocation methods. Audience: Researchers working in the field as well as scientists interested in the applications.
Computational Mathematics in Engineering and Applied Science provides numerical algorithms and associated software for solving a spectrum of problems in ordinary differential equations (ODEs), differential algebraic equations (DAEs), and partial differential equations (PDEs) that occur in science and engineering. It presents detailed examples, each
Modern finite element analysis has grown into a basic mathematical tool for almost every field of engineering and the applied sciences. This introductory textbook fills a gap in the literature, offering a concise, integrated presentation of methods, applications, software tools, and hands-on projects. Included are numerous exercises, problems, and Mathematica/Matlab-based programming projects. The emphasis is on interdisciplinary applications to serve a broad audience of advanced undergraduate/graduate students with different backgrounds in applied mathematics, engineering, physics/geophysics. The work may also serve as a self-study reference for researchers and practitioners seeking a quick introduction to the subject for their research.
This new book deals with the construction of finite-difference (FD) algorithms for three main types of equations: elliptic equations, heat equations, and gas dynamic equations in Lagrangian form. These methods can be applied to domains of arbitrary shapes. The construction of FD algorithms for all types of equations is done on the basis of the support-operators method (SOM). This method constructs the FD analogs of main invariant differential operators of first order such as the divergence, the gradient, and the curl. This book is unique because it is the first book not in Russian to present the support-operators ideas. Conservative Finite-Difference Methods on General Grids is completely self-contained, presenting all the background material necessary for understanding. The book provides the tools needed by scientists and engineers to solve a wide range of practical engineering problems. An abundance of tables and graphs support and explain methods. The book details all algorithms needed for implementation. A 3.5" IBM compatible computer diskette with the main algorithms in FORTRAN accompanies text for easy use.
