Formal resolution of geometrical constraint systems by assembling

Proceedings of the Symposium on Solid Modeling and Applications

Volumn , Issue , 1997, Pages 271-284

  Dufourd, Jean Francois ^a   Mathis, Pascal ^a   Schreck, Pascal ^a  

^a UNIVERSITÉ DE STRASBOURG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; CONSTRAINT THEORY; FORMAL LOGIC; RAPID PROTOTYPING;

GEOMETRICAL CONSTRAINT SYSTEMS;

COMPUTER AIDED DESIGN;

EID: 0030712692     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/267734.267804     Document Type: Conference Paper

References (27)