Formal Resolution of Geometrical Constraint Systems by Assembling

Jean-François Dufourd, Pascal Mathis, Pascal Schreck. Formal Resolution of Geometrical Constraint Systems by Assembling. In Symposium on Solid Modeling and Applications. pages 271-284, 1997. [doi]

Abstract

Abstract is missing.