Symbolic Numeric Computation

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.

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.

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 book deals with various aspects of scientific numerical computing. No at tempt was made to be complete or encyclopedic. The successful solution of a numerical problem has many facets and consequently involves different fields of computer science. Computer numerics- as opposed to computer algebra- is thus based on applied mathematics, numerical analysis and numerical computation as well as on certain areas of computer science such as computer architecture and operating systems. Applied Mathemalies I I I Numerical Analysis Analysis, Algebra I I Numerical Computation Symbolic Computation I Operating Systems Computer Hardware Each chapter begins with sample situations taken from specific fields of appli cation. Abstract and general formulations of mathematical problems are then presented. Following this abstract level, a general discussion about principles and methods for the numerical solution of mathematical problems is presented. Relevant algorithms are developed and their efficiency and the accuracy of their results is assessed. It is then explained as to how they can be obtained in the form of numerical software. The reader is presented with various ways of applying the general methods and principles to particular classes of problems and approaches to extracting practically useful solutions with appropriately chosen numerical software are developed. Potential difficulties and obstacles are examined, and ways of avoiding them are discussed. The volume and diversity of all the available numerical software is tremendous.

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

This volume consists of papers presented in the special sessions on "Complex and Numerical Analysis", "Value Distribution Theory and Complex Domains", and "Use of Symbolic Computation in Mathematics Education" of the ISAAC'97 Congress held at the University of Delaware, during June 2-7, 1997. The ISAAC Congress coincided with a U.S.-Japan Seminar also held at the University of Delaware. The latter was supported by the National Science Foundation through Grant INT-9603029 and the Japan Society for the Promotion of Science through Grant MTCS-134. It was natural that the participants of both meetings should interact and consequently several persons attending the Congress also presented papers in the Seminar. The success of the ISAAC Congress and the U.S.-Japan Seminar has led to the ISAAC'99 Congress being held in Fukuoka, Japan during August 1999. Many of the same participants will return to this Seminar. Indeed, it appears that the spirit of the U.S.-Japan Seminar will be continued every second year as part of the ISAAC Congresses. We decided to include with the papers presented in the ISAAC Congress and the U.S.-Japan Seminar several very good papers by colleagues from the former Soviet Union. These participants in the ISAAC Congress attended at their own expense.