✦ LIBER ✦

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

✍ Scribed by Xiao-Shan Gao; Shang-Ching Chou

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 947 KB
Volume: 30
Category: Article
ISSN: 0010-4485
DOI: 10.1016/s0010-4485(97)00055-9

No coin nor oath required. For personal study only.

✦ Synopsis

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 and give complete methods of deciding whether the constraints are independent and whether a constraint system is over-constraint. Based on symbolic computation, we also have a decision procedure for the problem of deciding whether a constrained diagram can be constructed with ruler and compass (rc-constructibility).

📜 SIMILAR VOLUMES

A constructive approach to calculate par

A constructive approach to calculate parameter ranges for systems of geometric constraints

✍ Hilderick A. van der Meiden; Willem F. Bronsvoort 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such systems. However, because allowable parameter values are not known to the user beforehand, this is often a trial-and-err