Advances in Computing Research

R. Hoffman (Herausgeber)

Buch | Hardcover

310 Seiten

1992
JAI Press Inc. (Verlag)
978-1-55938-342-4 (ISBN)

Infos

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.

Inhalt

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.

Produkt-Details

• Reihe/Serie: Advances in computing research ; Vol 6
• Verlagsort: Oxford
• Sprache: englisch
• Maße: 150 x 230 mm
• Gewicht: 628 g
• Themenwelt: Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Geometrie / Topologie
• ISBN-10: 1-55938-342-9 / 1559383429
• ISBN-13: 978-1-55938-342-4 / 9781559383424
• Zustand: Neuware