Symbolic and numerical computation for artificial intelligence
著者
書誌事項
Symbolic and numerical computation for artificial intelligence
(Computational mathematics and applications)
Academic Press, c1992
大学図書館所蔵 件 / 全21件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"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
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より