共 30 条
[1]
Aldefeld B.(1988)Variation of geometries based on a geometric-reasoning method CAD 20 117-126
[2]
Borning A. H.(1981)The programming language aspects of ThingLab, a constraint oriented simulation laboratory ACM TOPLAS 3 353-387
[3]
Bouma W.(1994)A geometric contraint solver CAD 27 487-501
[4]
Fudos I.(2000)A systematic framework for solving geometric constraint analytically J. of Symbolic Computing 30 483-520
[5]
Hoffmann C. M.(1993)Correctness proof of a geometric constraint solver Intl. J. Comp Geometry and Applic 6 405-420
[6]
Cai J.(1997)A graph-constructive approach to solving systems of geometric constraints ACM Transactions on Graphics 16 179-216
[7]
Paige J.(2000)Geometric constraint satifaction using optimization methods Computer Aided Design 31 867-879
[8]
Durand C.(1997)Symbolic constraints in constructive geometry Journal of Symbolic Computation 23 287-300
[9]
Hoffmann C. M.(1997)A correct rule-based geometric constraint solver Computer and Graphics 21 599-609
[10]
Fudos I.(1992)Algebraic method for manipulation of dimensional relationships in geometric models CAD 24 141-147