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
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||New York||1990.7200021326793
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"