Issues in robotics and nonlinear geometry

Abstract

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.