Symbolic and numerical computation for artificial intelligence /
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London ; San Diego, CA :
Academic Press,
c1992.
|
| Series: | Computational mathematics and applications
|
| Subjects: | |
| Online Access: | Publisher description Table of contents |
Table of Contents:
- Introduction / Bruce R. Donald, D. Kapur and J. L. Mundy
- Polynomial Continuation and its Relationship to the Symbolic Reduction of Polynomial Systems / Alexander P. Morgan
- Elimination Methods: an Introduction / Deepak Kapur and Yagiti N. Lakshman
- On the Solutions of a Set of Polynomial Equations / Philip S. Milne
- Quantifier Elimination for Conjunctions of Linear Constraints via a Convex Hull Algorithm / Catherine Lassez and Jean-Louis Lassez
- Elimination Theory and Computer Vision: Recognition and Positioning of Curved 3D Objects from Range, Intensity, or Contours / Jean Ponce and David J. Kriegman
- 2D and 3D Object Recognition and Positioning with Algebraic Invariants and Covariants / Gabriel Taubin and David B. Cooper
- Applications of Invariant Theory in Computer Vision / David Forsyth, Joseph L. Mundy, Andrew Zisserman and Charles Rothwell
- Distance Metrics for Comparing Shapes in the Plane / Daniel P. Huttenlocher and Klara Kedem.
- A Mathematical Framework for Combinatorial/Structural Analysis of Linear Dynamical Systems by Means of Matroids / Kazuo Murota
- Symbolic Methods for the Simulation of Planar Mechanical Systems in Design / Bruce R. Donald and Dinesh K. Pai
- Basic Requirements for the Automatic Generation of FORTRAN code / Stanly Steinberg
- Symbolic and Parallel Adaptive Methods for Partial Differential Equations / Joseph E. Flaherty, Messaoud Benantar, Rupak Biswas and Peter K. Moore
- An Interactive Symbolic-Numeric Interface to Parallel ELLPACK for Building General PDE Solvers / Sanjiva Weerawarana, Elias N. Houstis and John R. Rice
- Symbolic/Numeric Techniques in Modeling and Simulation / Richard Zippel
- Symbolic and Numeric Computation: the Example of IRENA / James H. Davenport, Michael C. Dewar and Michael G. Richardson.