Symbolic and numerical computation for artificial intelligence
Author(s)
Bibliographic Information
Symbolic and numerical computation for artificial intelligence
(Computational mathematics and applications)
Academic Press, c1992
Available at / 21 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||New York||1990.7200021326793
-
No Libraries matched.
- Remove all filters.
Note
"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"--Pref
Includes bibliographies and index
Description and Table of Contents
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.
Table of Contents
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.
by "Nielsen BookData"