Robustness in CAD geometric constructions

Proceedings of the International Conference on Information Visualisation

Volumn 2001-January, Issue , 2001, Pages 111-116

  Schreck, P ^a  

^a UNIVERSITÉ DE STRASBOURG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

VISUALIZATION;

GEOMETRIC CONSTRUCTION; LOGICAL FRAMEWORKS;

GEOMETRY;

EID: 72949085005     PISSN: 10939547     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IV.2001.942046     Document Type: Conference Paper

References (15)

1. W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. A geometric constraint solver. Computer-Aided Design, 27(6):487-501, 1995.
2. S. Chou. Mechanical geometry theorem proving. Mathematics and its Applications. D. Reidel, Dordrecht, 1988.
3. D. cubed Co. D-cubed. Technical report, http://www.dcubed.co.uk, 2000.
4. J.-F. Dufourd, P. Mathis, and P. Schreck. Geometric construction by assembling solved subfigures. Artificial Intelligence Journal, 99(1):73-119, 1998.
5. C. Esser-Villard, P. Schreck, and F. Dufourd, J. Sketchbased pruning of a solution space within a formal geometric constraint solver. Artificial Intelligence, 124:139-159, 2000.
6. J. Ge, S. Chou, and X. Gao. Geometric constraint satisfaction using optimization methods. Computer-Aided Design, 31:867-879, 1999.
7. J. Goguen. Modular specification of some basic geometrical constructions. Artificial Intelligence, 37(Special Issue on Computational Computer Geometry):123-153, 1987.
8. A. Heydon and G. Nelson. The Juno-2 constraint-based drawing editor. Technical Report SRC-131a, Digital, System Research Center, 1994.
9. U. S. Inc. Unigraphics. Technical report, http://www.ug.eds.com, 2000.
10. H. Lamure and D. Michelucci. Solving constraints by homotopy. In Proceedings of the ACM-Sigraph Solid Modeling Conference, pages 134-145. ACM Press, 1995.
11. 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.
12. P. Schreck. Implantation d'un systeme a base de connaissances pour les constructions geometriques. Revue d'Intelligence Artificielle, 8(3):223-247, 1994.
13. G. Sunde. A CAD system with declarative specification of shape. In Proceedings of the IFIP WG 5.2 on Geometric Modeling, Rensselaerville, 1986.
14. G. T. Toussaint. A new look at euclid's second proposition. Technical Report SOCS 90-21, School of Computer Science, McGill, 1990.
15. M. Wirsing. Algebraic Specification, pages 677-780. Handbook of Theoretical Computer Science. Elsevier Science, 1990.