Correctness proof of a geometric constraint solver

International Journal of Computational Geometry and Applications

Volumn 6, Issue 4, 1996, Pages 405-420

  Fudos, Ioannis ^a   Hoffmann, Christoph M ^a  

^a Purdue University   (United States)

Author keywords

Computer aided design; Geometric constraint solving

Indexed keywords

EID: 0030353754     PISSN: 02181959     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218195996000253     Document Type: Article

References (11)

1. W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige, "A geometric constraint solver", To appear in Computer Aided Design. Also available as CSD-TR-93-054, Purdue University, Computer Science, 1993.
2. I. Fudos, "Editable representations for 2D geometric design", Master's thesis, Purdue University, Dept. of Comp. Sci., 1993.
3. C. M. Hoffmann, "Modeling the DARPA engine in pro/engineer", DARPA Workshop Manufacturing, Engineering, Design, Automation, Stanford, 1992, pp. 631-639.
4. C. M. Hoffmann and R. Juan, "Erep, an editable, high-level representation for geometric design and analysis", in P. Wilson, M. Wozny, and M. Pratt, editors, Geometric and Product Modeling, pp. 129-164, North Holland, 1993.
5. C. M. Hoffmann, "On the semantics of generative geometry representations", Proc. 19th ASME Design Automation Conference, Vol. 2, 1993, pp. 411-420.
6. P. Todd, "A k-tree generalization that characterizes consistency of dimensioned engineering drawings", SIAM J. Discrete Math., 2:255-261, 1989.
7. J. Owen. "Algebraic solution for geometry from dimensional constraints", in ACM Symp. Found. of Solid Modeling, pp. 397-407, Austin, Tex, 1991.
8. D. Hilbert, Grundlagen der Geometrie, (B. G. Teubner, Stuttgart, 1956).
9. H. Imai, "On combinatorial structures of line drawings of polyhedra", Discrete and Applied Mathematics, 10:79, 1985.
10. K. Sugihara, "Detection of structural inconsistencies in systems of equations with degrees of freedom and its applications", Discrete Applied Mathematics, 10:297-312, 1985.
11. B. Rosen, "Tree-manipulating systems and Church-Rosser theorems". J. ACM, 20:160-187, 1973.