Geometric Reasoning for Computer-Aided Design

Geometric computation has been widely used for over 20 years in computer-aided design (CAD), but until fairly recently, the emphasis has been on the end user deciding what geometric constructions to make. The main mode of use has been to treat a CAD system as being to geometry as a calculator is to arithmetic — the CAD system can perform various geometric manipulations and draw the results, but it has no built in knowledge of geometric theorems and concepts, just as a calculator has no knowledge of number theory.

[1]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[2]  George E. Collins,et al.  Cylindrical Algebraic Decomposition I: The Basic Algorithm , 1984, SIAM J. Comput..

[3]  Hugh F. Durrant-Whyte,et al.  Uncertain geometry in robotics , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[4]  Deepak Kapur,et al.  A Refutational Approach to Geometry Theorem Proving , 1988, Artif. Intell..

[5]  Victor J. Milenkovic,et al.  Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic , 1989, Artif. Intell..

[6]  Tony Cheng-Hsiang Woo.  Computer understanding of designs. , 1975 .

[7]  Ralph R. Martin,et al.  Relational Algebra, Relational Calculus and Computational Solid Geometry , 1988 .

[8]  David H D Warren,et al.  Logic programming and its applications , 1986 .

[9]  Deepak Kapur,et al.  Geometric reasoning , 1989 .

[10]  J. Hopcroft,et al.  Quadratic blending surfaces , 1985 .

[11]  K. Arya.  A Functional Approach to Picture Manipulation , 1984, Comput. Graph. Forum.

[12]  Graham E. M. Jared,et al.  Shape Features in Geometric Modeling , 1984 .

[13]  Joseph L. Mundy,et al.  A Multi-Level Geometric Reasoning System for Vision , 1988, Artif. Intell..

[14]  James H. Davenport,et al.  Computer Algebra: Systems and Algorithms for Algebraic Computation , 1988 .

[15]  George E. Collins,et al.  Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane , 1984, SIAM J. Comput..

[16]  Julian Padget,et al.  A geometric algebra system , 1989 .

[17]  Alan E. Middleditch,et al.  Blend surfaces for set theoretic volume modelling systems , 1985, SIGGRAPH '85.

[18]  Sabine Stifter,et al.  Automated geometry theorem proving using Buchberger's algorithm , 1986, SYMSAC '86.

[19]  Tun Wen-Dun.  ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY , 1978 .

[20]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[21]  John Woodwark.  Some speculations on feature recognition , 1988 .

[22]  J. Oden,et al.  The Mathematics of Surfaces II , 1988 .

[23]  Bruno Buchberger,et al.  Algebraic methods for geometric reasoning , 1988 .

[24]  Peter M. D. Gray.  Logic, algebra and databases , 1984, Ellis Horwood series in computers and their applications.

[25]  Fernando Pereira,et al.  Can Drawing Be Liberated From the Von Neumann Style? , 1983, Databases for Business and Office Applications.

[26]  John F. Canny,et al.  Constructing Roadmaps of Semi-Algebraic Sets I: Completeness , 1988, Artificial Intelligence.

[27]  Ralph R. Martin,et al.  Swept Volumes in Solid Modellers , 1988, IMA Conference on the Mathematics of Surfaces.

[28]  Rae A. Earnshaw,et al.  Theoretical Foundations of Computer Graphics and CAD , 1988, NATO ASI Series.