Symbolic and Numerical Computation for Artificial Intelligence
Workshop on "Integration of Numerical and Symbolic Computing Methods : Selected Papers
Published on 1. September 1992
Book
Hardback
369 pages
978-0-12-220535-4 (ISBN)
Description
The papers in this volume are based on talks given at a workshop on the Integration of Numerical and Symbolic Computing Methods, held in Saratoga Springs, New York, in July 1990. The Workshop was Sponsored by the National Science Foundation (NSF) , the Air Force Office of Sponsored Research (AFOSR), General Electric Research and Development, Schenectady, and the State University of New York at Albany. Over forty researchers from industry, academia and government participated in the workshop.
More details
Series
Language
English
Place of publication
San Diego
United States
Publishing group
Elsevier Science Publishing Co Inc
Target group
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 229 mm
Width: 152 mm
Weight
794 gr
ISBN-13
978-0-12-220535-4 (9780122205354)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Contributors. Preface. Introduction. Polynomial Continuation and its Relationship to the Symbolic Reduction of Polynomial Systems. Elimination Methods: an Introduction. On the Solutions of a Set of Polynomial Equations. Quantifier Elimation for Conjunction of Linear Constraints via a Convex Hull Algoritm. Elimation Theory and Computer Vision: Recognition and Positioning of Curved 3D Objects from Range, Intensity, or Contours. 2D and 3D Object Recognition and Posiitioning with Algebraic Invariants and Covariants. Applications of Invariant Theory in Computer Vision. Distance Metrics for Comparing Shapes in the Plane. A Mathematical Framework for Combinational/Structural analysis of Linear Dynamical Systems by Means of Matroids. Symbolic Methods for the Simulation of Planar Mechanical Systems in Design. Basic Requirements for the Automatic Generation of FORTRAN code. Symbolic and Parallel Adaptive Methods for Partial Differential Equations. An Interactive Symbolic-Numeric Interface to Paralles ELLPACK for Building General PDE Solvers. Symbolic / Numeric Techniques in Modeling and Simulation. Symbolic and Numeric Computation: the Example of IRENA. Author Index. Index.