共 5 条
[1]
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility[J] . Xiao-Shan Gao,Shang-Ching Chou.Computer-Aided Design . 1998 (2)
[3]
A graph-constructive approach to solving systems of geometric constraints
[J].
ACM TRANSACTIONS ON GRAPHICS,
1997, 16 (02)
:179-216
[5]
An Implementation of Tarjan's Algorithm for the Block Triangularization of a Matrix[J] . I. S. Duff,J. K. Reid.ACM Transactions on Mathematical Software (TOMS) . 1978 (2)