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

  title={Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility},
  author={Xiao-Shan Gao and Shang-Ching Chou},
  journal={Computer-Aided Design},
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… CONTINUE READING
Highly Cited
This paper has 84 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
46 Citations
17 References
Similar Papers


Publications citing this paper.

85 Citations

Citations per Year
Semantic Scholar estimates that this publication has 85 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 17 references

The Juno-2 Constraint-Based Drawing Editor

  • A. Heydon, G. Nelson
  • SRC Research Report 131a,
  • 1994
Highly Influential
5 Excerpts

Differential algebra

  • J. F. Ritt
  • Amer. Math. Sco. Colloquium,
  • 1950
Highly Influential
14 Excerpts

Geometric Constraint Solving in R2 and R3

  • C. Hoffmann
  • “Computing in Euclidean Geometry”, eds D. Z. Du…
  • 1995
Highly Influential
4 Excerpts

et al

  • B. W. Char
  • Maple V, Springer-Verlag
  • 1991
1 Excerpt

Similar Papers

Loading similar papers…