Advances in Computing Research: v. 6
R. Hoffman(Editor)
JAI Press Inc.
Published in November 1992
Book
Hardback
310 pages
978-1-55938-342-4 (ISBN)
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.
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 230 mm
Width: 150 mm
Weight
628 gr
ISBN-13
978-1-55938-342-4 (9781559383424)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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.