Symbolic and Numerical Computation for Artificial Intelligence

Name: Symbolic and Numerical Computation for Artificial Intelligence
Availability: OutOfStock
ISBN: 9780122205354

ISBN-10: 0122205359

ISBN-13: 9780122205354

Edition: 1992

Authors: Bruce Randall Donald, Deepak Kapur, Joseph L. Mundy

List price: $134.95

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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.

Book details

List price: $134.95
Copyright year: 1992
Publisher: Elsevier Science & Technology Books
Binding: Hardcover
Pages: 369
Size: 7.00" wide x 10.25" long x 0.75" tall
Weight: 1.738
Language: English



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