Volume 37, Numbers 1-3, December 1988 Special Volume on Geometric Reasoning
Automated Geometric Reasoning and Geometric Representation
Robotics and Motion Planning
Last update Thu May 23 18:13:50 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Deepak Kapur, Joseph L. Mundy:
Wu's Method and its Application to Perspective Viewing.
- Dennis S. Arnon:
Geometric Reasoning with Logic and Algebra.
- Deepak Kapur:
A Refutational Approach to Geometry Theorem Proving.
- Hai-Ping Ko:
Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle.
- Joseph A. Goguen:
Modular Algebraic Specification of Some Basic Geometrical Constructions.