Interactive handling of a construction plan in CAD

Proceedings of the International Conference on Information Visualisation

Volumn 2001-January, Issue , 2001, Pages 124-129

  Essert Villard, C ^a   Mathis, P ^a  

^a UNIVERSITÉ DE STRASBOURG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

VISUALIZATION;

CONSTRAINT SYSTEMS; CONSTRUCTION PLAN; DEBUGGERS; GEOMETRIC METHOD; MULTIPLE SOLUTIONS; SELECTION METHODS; SYMBOLIC CONSTRUCTION;

COMPUTER AIDED DESIGN;

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

References (9)

1. B. Aldefeld. Variations of geometries based on a geometricreasoning method. Computer-Aided Design, 20(3):117-126, 1988.
2. Y. Bertrand and J. F. Dufourd. Algebraic specification of a 3d-modeller based on hypermaps. Computer Vision - CMIP, 56(1):29-60, 1994.
3. W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. Geometric constraint solver. Computer-Aided Design, 27(6):487-501, 1995.
4. B. Brüderlin. Automatizing geometric proofs and constructions. In Proceedings of Computational Geometry'88, pages 232-252. LNCS 333, Springer-Verlag, 1988.
5. J. F. Dufourd, P. Mathis, and P. Schreck. Formal resolution of geometric constraint systems by assembling. In Proceedings of the ACM-Siggraph Solid Modelling Conference, pages 271-284. ACM Press, 1997.
6. C. Essert-Villard, P. Schreck, and J. F. Dufourd. Sketch-based pruning of a solution space within a formal geometric constraint solver. Artificial Intelligence, 124:139-159, 2000.
7. H. Lamure and D. Michelucci. Solving constraints by homotopy. In Proceedings of the ACM-Siggraph Solid Modelling Conference, pages 134-145. ACM Press, 1995.
8. J. Owen. Algebraic solution for geometry from dimensional constraints. In Proceedings of the 1st ACM Symposium of Solid Modelling and CAD/CAM Applications, pages 397-407. ACM Press, 1991.
9. I. E. Sutherland. Sketchpad: A man-machine graphical communication system. In Proceedings of the IFIP Spring Joint Computer Conference, pages 329-36, 1963.