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

@article{Gao1998SolvingGC,
  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},
  year={1998},
  volume={30},
  pages={115-122}
}
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
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 17 REFERENCES

Basic Principles of Mechanical Theorem Proving in Geometries, Volume I: Part of Elementary Geometries

  • Wu Wen-tsün
  • Science Press, Beijing (in Chinese),
  • 1984
Highly Influential
16 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…