Solving geometric constraints invariant modulo the similarity group

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2669, Issue , 2003, Pages 356-365

  Schramm, Etienne ^a   Schreck, Pascal ^a  

^a Faculté de Médecine   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

ANGLE CONSTRAINT; DIRECT SIMILARITIES; EUCLIDEAN; GEOMETRIC CONSTRAINT; GEOMETRIC CONSTRAINT SYSTEMS;

COMPUTER AIDED DESIGN;

EID: 35248829638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44842-x_37     Document Type: Article

References (16)

1. S. Ait-Aoudia, R. Jegou, and D. Michelucci. Reduction of constraint systems. In Proceedings of the Compugraphics Conference, pages 83-92, 1993.
2. W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. A geometric constraint solver. Computer-Aided Design, 27(6):487-501, 1995.
3. B. Brüderlin. Constructing three-dimensional geometric objects defined by constraints. In Interactive 3D Graphics, pages 111-129, October 1986.
4. J.-F. Dufourd, P. Mathis, and P. Schreck. Formal resolution of geometrical constraint systems by assembling. Proceedings of the 4th ACM Solid Modeling conf., pages 271-284, 1997.
5. J.-F. Dufourd, P. Mathis, and P. Schreck. Geometric construction by assembling solved subfigures. Artificial Intelligence Journal, 99(1):73-119, 1998.
6. Cassiano B. Durand. Symbolic and Numerical Techniques for Constraint Solving. PhD thesis, Purdue University, 1998.
7. C. Essert-Villard, P. Schreck, and F. Dufourd, J. Sketch-based pruning of a solution space within a formal geometric constraint solver. Artificial Intelligence, 124:139-159, 2000.
8. I. Fudos and C. M Hoffmann. Correctness proof of a geometric constraint solver. International Journal of Computational Geometry and Applications, 1994.
9. X.-S. Gao, C. M. Hoffmann, and W.-Q. Yang. Solving spatial basic geometric constraint configurations with locus intersection. In Proceedings of the ACM Solid Modeling Conference (Saarbrücken), pages 95-104, 2002.
10. C. Hoffmann, A. Lomonosov, and M. Sitharam. Decomposition plans for feometric constraint problems, part ii : New algorithms. J. Symbolic Computation, 31:409-427, 2001.
11. H. Lamure and D. Michelucci. Solving constraints by homotopy. In Proceedings of the ACM-Sigraph Solid Modeling Conference, pages 134-145. ACM Press, 1995.
12. J. Owen. Algebraic solution for geometry from dimensional constraints. In Proceedings of the 1th ACM Symposium of Solid Modeling and CAD/CAM Applications, pages 397-407. ACM Press, 1991.
13. E. Schramm and P. Schreck. A case study in geometric constructions. In Proceedings of the 2002 International Conference on Computational Science (Amsterdam), Part II, pages 200-209. LNCS 2329, Springer, 2002.
14. P. Schreck. Robustness in cad geometric construction. In Proceedings of the fifth International Conference on Information Visualisation, IV2001 (London), pages 111-116. IEEE, 2001.
15. G. Sunde. A CAD system with declarative specification of shape. In Proceedings of the IFIP WG 5.2 on Geometric Modeling, Rensselaerville, 1986.
16. G. Sunde. Specification of shape by dimensions and other geometric constraints. In Proceedings of the Eurographics Workshop on Intelligent CAD systems, Noordwisjkerout, 1987.