Combining constructive and equational geometric constraint-solving techniques

ACM Transactions on Graphics

Volumn 18, Issue 1, 1999, Pages 35-55

  Joan Arinyo, R ^a   Soto Riera, A ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

F.2.2 Analysis of Algorithms and Problem Complexity : Nonnumerical Algorithms and Problems geometrical problems and computations; I.2.3 Artificial Intelligence : Deduction and Theorem Proving

Indexed keywords

EID: 0002908915     PISSN: 07300301     EISSN: None     Source Type: Journal    
DOI: 10.1145/300776.300780     Document Type: Article

References (27)

1. AIT-AOUDIA, S., JEGOU, R., AND MICHELUCCI, D. 1993. Reduction of constraint systems. In Compugraphic, Alvor, Portugal, 83-92.
2. ANDERL, R. AND MENDGEN, R. 1995. Parametric design and its impact on solid modeling applications. In Proceedings of ACM Solid Modeling '95 (Salt Lake City, Utah), 1-12.
3. BACHMAIR, L. 1991. Proof methods for equational theories. Tech. Rep. Department of Computer Science, SUNY at Stony Brook, Stony Brook, New York.
4. BOUMA, W., FUDOS, I., HOFFMANN, C., CAI, J., AND PAIGE, R. 1995. Geometric constraint solver. Comput. Aided Des. 27, 6 (June), 487-501.
5. BRÜDERLIN, B. AND ROLLER, D. EDS. 1998. Geometric Constraint Solving and Applications, Springer-Verlag, Berlin.
6. BRÜDERLIN, B. D. 1988. Rule-based geometric modelling. Ph.D. Thesis, Institut für Informatik der ETH Zürich.
7. DERSHOWITZ, N. AND JOUANNAUD, J.-P. 1990. Handbook of Theoretical Computer Science. Elsevier Science Publishers B.V., Amsterdam, 244-320.
8. DUFOURD, J. F., MATHIS, P., AND SCHRECK, P. 1997. Formal resolution of geometrical constraint systems by assembling. In Proceedings of the Fourth Symposium on Solid Modeling and Applications ACM SIGGRAPH (Atlanta, GA, May 14-16), 271-284.
9. FUDOS, I. 1993. Editable representations for 2D geometric design. Master's Thesis, Purdue University, Department of Computer Sciences.
10. FUDOS, I. AND HOFFMANN, C. M. 1996. Correctness proof of a geometric constraint solver. Int. J. Comput. Geom. Appl. 6, 4, 405-420.
11. HENDERSON, D. 1996. Constraint management for collaborative design. Ph.D. Thesis, Purdue University, Department of Mechanical Engineering, December.
12. HOFFMANN, C. M. AND JOAN-ARINYO, R. 1997. Symbolic constraints in constructive geometric constraint solving. J. Symb. Comput. 23, 287-300.
13. HSU, C.-Y. 1996. Graph-based approach for solving geometric constraint problems. Ph.D. Thesis, Department of Computer Science. The University of Utah, June.
14. JOAN-ARINYO, R. AND SOTO-RIERA, A. 1995a. A rule-constructive geometric constraint solver. Tech. Rep. LSI-95-25-R, Department LiSI, Universitat Politècnica de Catalunya, Barcelona.
15. JOAN-ARINYO, R. AND SOTO-RIERA, A. 1995b. A set of rules for a constructive geometric constraint solver. Tech. Rep. LSI-95-19-R, Department LiSI, Universitat Politècnica de Catalunya, Barcelona.
16. JOAN-ARINYO, R. AND SOTO-RIERA, A. 1997a. A correct rule-based geometric constraint solver. Comput. Graph. 21, 5, 599-609.
17. JOAN-ARINYO, R. AND SOTO-RIERA, A. 1997b. A ruler-and-compass geometric constraint solver. In Product Modeling for Computer Integrated Design and Manufacture, Chapman & Hall, London, 384-393.
18. LAMAN, G. 1970. On graphs and rigidity of plane skeletal structures. J. Eng. Math. 4, 4 (Oct.), 331-340.
19. LAMURE, H. AND MICHELUCCI, D. 1998. Qualitative study of geometric constraints. In Geometric Constraint Solving and Applications, B. Brüderlin and D. Roller, Eds., Springer-Verlag, Berlin, 234-258.
20. LOVÁSZ, L. AND PLUMMER, M. D. 1986. Matching Theory. Annals of Discrete Mathematics 29, North-Holland, Amsterdam.
21. MATA, N. 1997. Solving incidence and tangency constraints in 2D. Tech. Rep. LSI-97-3R, Department LiSI, Universitat Politècnica de Catalunya, Barcelona.
22. MATHIS, P., SCHRECK, P., AND DUFOURD, J.-F. 1998. YAMS: A multiagent system for 2D constraint solving. In Geometric Constraint Solving and Applications, B. Brüderlin and D. Roller, Eds., Springer-Verlag, Berlin, 211-233.
23. MUROTA, K. 1997. Systems Analysis by Graphs and Matroids. Algorithms and Combinatorics 3, Springer-Verlag, New York.
24. ROSEN, B. K. 1973. Tree-manipulating systems and Church-Rosser theorems. J. ACM 20, 1 (Jan.), 160-187.
25. ROSENDAHL, M. AND BERLING, R. 1998. Modelling of geometric constraints in CAD-applications. In Geometric Constraint Solving and Applications, B. Brüderlin and D. Roller, Eds., Springer-Verlag, Berlin, 151-169.
26. SOTO-RIERA, A. 1998. Geometric constraint solving in 2D. Ph.D. Thesis, Dept. LiSI, Universitat Politècnica de Catalunya, Barcelona (in Catalan).
27. VERROUST, A., SCHONEK, F., AND ROLLER, D. 1992. Rule-oriented method for parameterized computer-aided design. Comput. Aided Des. 24, 10 (Oct.), 531-540.