Sciweavers

CAD
1998
Springer

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility

13 years 5 months ago
Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equations. We give complete methods of deciding whether the constraints are independent and whether a constraint system is over-constraint. Also, over-constrainted systems can be handled naturally. Based on symbolic computation, we also give a decision procedure for the problem of deciding whether a constrainted diagram can be constructed with ruler and compass (rc-constructibility).
Xiao-Shan Gao, Shang-Ching Chou
Added 21 Dec 2010
Updated 21 Dec 2010
Type Journal
Year 1998
Where CAD
Authors Xiao-Shan Gao, Shang-Ching Chou
Comments (0)