Symbolic constraints in constructive geometric constraint solving

Journal of Symbolic Computation

Volumn 23, Issue 2-3, 1997, Pages 287-299

  Hoffmann, Christoph M ^a   Joan Arinyo, Robert ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031070999     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0089     Document Type: Article

References (12)

1. Ait-Aoudia, S., Jegou, R., Michelucci, D. (1993). Reduction of constraint systems. In Compugraphics, pp. 83-92.
2. Anderl, R., Mendgen, R. (1995). Parametric design and its impact on solid modeling applications. In 3rd ACM Symp Foundations of Solid Modeling, pp. 1-12.
3. Bouma, W., Fudos, I., Hoffmann, C., Cai, J., Paige, R. (1995). A geometric constraint solver. Computer Aided Design, 27:487-501.
4. Fudos, I. (1993). Editable representations for 2d geometric design. Master's thesis, Purdue University, Dept. of Comp. Sci.
5. Fudos, I., Hoffmann, C.M. (1997). Correctness proof of a geometric constraint solver. Intl. J. of Computational Geometry and Applications.
6. Henderson, D. (1996). Constraint Management for Collaborative Design. PhD thesis, Purdue University, Department of Mechanical Engineering.
7. Hsu, C. (1996). Graph-based approach for solving geometric constraint problems. PhD thesis, University of Utah, Department of Computer Science.
8. Jensen, P. (1991). Classical and Modern Mechanisms for Engineers and Inventors. Marcel Dekker.
9. Juan-Arinyo, R., Soto, A. (1995). A rule-constructive geometric constraint solver. Technical report, Universitat Politècnica de Catalunya.
10. Lovász, L., Plummer, M. (1986). Matching Theory. North Holland.
11. van Leeuven, J. (1992). Graph algorithms. In van Leeuven, J., ed., Handbook of Theoretical Computer Science, Volume A, pp. 525-632. Elsevier.
12. Waerden, B.V.D. (1950). Modern Algebra (third edition). New York: Ungar.