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.
