Issues in robotics and nonlinear geometry
Author(s)
Bibliographic Information
Issues in robotics and nonlinear geometry
(Advances in computing research : a research annual, v. 6)
JAI Press, c1992
Available at / 4 libraries
-
No Libraries matched.
- Remove all filters.
Note
series editor : Franco P. Preparata
Description and Table of Contents
Description
The sixth volume in the serial publication, "Advances in Computing Research". Topics contained include: the Roider method; perspective images of polyhedra for robot vision; a mechanization method of equations-solving and theorem-proving; and an introduction to the tangent cone algorithm.
Table of Contents
- Contact force calculation in a compliant-motion simulation system, P. Simkens et al
- the Roider method - a method for static and dynamic collision detection, Sabine Stifter
- an analysis of perspective images of polyhedra for robot vision, Michael A. Penna
- stepping along the intersections of two surfaces at critical points, Yves De Montaudouin
- a mechanization method of equations-solving and theorem-proving, Wu Wen-tsun
- on the mechanical proof of geometry theorems involving inequalities, Shang-Ching Chou et al
- automated theorem proving in nonlinear geometry, Franz Winkler
- an introduction to the tangent cone algorithm, Teo Mora et al.
by "Nielsen BookData"