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 |
| LEADER | 03518cam a2200409 a 4500 | ||
|---|---|---|---|
| 001 | c000213270 | ||
| 003 | CARM | ||
| 005 | 20060207104004.0 | ||
| 008 | 930526s1992 caua b 101 0 eng d | ||
| 010 | |a 93159060 | ||
| 015 | |a GB93-3189 | ||
| 019 | 1 | |a 22619079 |z 10095247 |z 55459955 |5 LACONCORD2021 | |
| 020 | |a 0122205359 : |c $75.00 | ||
| 035 | |a (OCoLC)26883346 |5 LACONCORD2021 | ||
| 040 | |a MCM-L |b eng |c MCM-L |d IU |d TxU |d WaU |d Uk |d DLC | ||
| 042 | |a lccopycat |a lccopycat | ||
| 050 | 0 | |a Q335 |b .S89 1992 | |
| 050 | 0 | 0 | |a Q335 |b .S89 1992 |
| 082 | 0 | 0 | |a 006.3 |2 20 |
| 245 | 0 | 0 | |a Symbolic and numerical computation for artificial intelligence / |c edited by Bruce Randall Donald, Deepak Kapur, Joseph L. Mundy. |
| 260 | |a London ; |a San Diego, CA : |b Academic Press, |c c1992. | ||
| 300 | |a 369 p. : |b ill. ; |c 26 cm. | ||
| 440 | 0 | |a Computational mathematics and applications | |
| 500 | |a Based on talks given at a workshop on the Integration of Numerical and Symbolic Computing Methods, Saratoga Springs, N.Y., July 1990. | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 0 | |a 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. | |
| 505 | 0 | |a 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. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 653 | 0 | |a Artificial intelligence. | |
| 700 | 1 | |a Donald, Bruce R. | |
| 700 | 1 | |a Mundy, Joseph L. | |
| 700 | 1 | |a Kapur, Deepak. | |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/description/els032/93159060.html |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/toc/els032/93159060.html |
| 852 | 8 | |b CARM |h A2:AM09G0 |i C07935 |p 0273413 |f BK | |
| 999 | f | f | |i 16f7e626-673a-5927-8105-c0f1073563e1 |s 4bb19105-7d6a-5cdd-b9f6-1e0cf8c4c862 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C07935 |f A2:AM09G0 |h Other scheme |i book |m 0273413 |