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

CAD Computer Aided Design

Volumn 30, Issue 2, 1998, Pages 115-122

  Gao, Xiao Shan ^a,e,f   Chou, Shang Ching ^b,c,d  

^a INSTITUTE OF SYSTEMS SCIENCE   (China)

^b Wichita State University   (United States)

^c WICHITA STATE UNIVERSITY   (United States)

^d UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^e NONE

^f INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Decision of ruler and compass construction; Geometric constraint system solving; Intelligent CAD; Symbolic computation

Indexed keywords

COMPUTER AIDED DESIGN; CONSTRAINT THEORY; DECISION THEORY; PROBLEM SOLVING;

GEOMETRIC CONSTRAINT SOLVING APPROACH;

COMPUTATIONAL GEOMETRY;

EID: 0032001291     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0010-4485(97)00055-9     Document Type: Article

References (21)

1. Gao, X. S. and Chou, S. C., Solving geometric constraint systems, Part I. A global propagation approach. Computer-aided Design, 1998, 30, 47-54.
2. 3, in "Computing in Euclidean Geometry", (eds. D. Z. Du and F. Huang), p. 266-298, World Scientific, 1995.
3. Kramer, G., Solving Geometric Constraint, Systems, MIT Press, 1992.
4. Owen, J., Algebraic Solution for Geometry from Dimensional Constraints, in ACM symp. Found, of Solid Modeling, p. 397-407, Austin TX, 1991.
5. Heydon, A., Nelson, G., The Juno-2 Constraint-Based Drawing Editor, SRC Research Report 131a, 1994.
6. Lin, V.C., Gossard, D.C. and Light, R.A., Variational geometry in computer-aided design. Computer Graphics, 1981, 15(3), 171-177.
7. Wen-tsün, Wu., Basic Principles of Mechanical Theorem Proving in Geometries, Volume I: Part of Elementary Geometries, Science Press, Beijing (in Chinese), 1984. English version, Springer-Verlag, 1993.
8. Buchberger, B., Gröbner Bases: an Algorithm Method in Polynomial Ideal Theory, Recent Trends in Multidimensional Systems theory (ed. N.K. Bose), D. Reidel Publ. Comp., 1985.
9. Gallo, C., Mishra, B., Efficient Algorithms and Bounds for Wu-Ritt Characteristic Sets, TR, Courant Institute of Math. Sciences, 1989.
10. Kondo, K., Algebraic method for manipulation of dimensional relationships in geometric models. Geometric Aided Design, 1992, 24(3), 141-147.
11. Chou, S. C., Gao, X. S., Mechanical Formula Derivation in Elementary Geometries, Proc. ISSAC-90, ACM, New York, pp. 265-270.
12. Gao, X. S., Chou, S. C., On the Theory of Resolvents and Its Applications, MM-Research Preprints, No. 6, No. 6, Inst. of Systems Science, Academia Sinica, J. of Symbolic Computation (submitted).
13. Collins, G. E., Infallible Calculation of Polynomial Zeros to Specified Precision, Mathematical Software, p. 35-68, Academic Press, New York, 1977.
14. Collins, G. E., Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, Lect. Notes COmp. Sci. 33, 134-183, Springer-Verlag, 1975.
15. Owen, J., Constraints of simple geometry in two and three dimensions. International Journal of Computational Geometry & Applications, 1996, 6, 421-434.
16. Gao, X.S. and Chou, S.C., On the dimension for arbitrary ascending chains. Chinese Bull. Sci., 1993, 38, 396-399.
17. Jacobson, N., Basic Algebra, Vol. 1, San Francisco, Freeman, 1985.
18. Char, B. W. et al., Maple V, Springer-Verlag, 1991.
19. Landau, S. and Miller, L., Solvability by radicals is in polynomial time. J. Comput. System Sci., 1985, 30, 179-208.
20. Gao, X. S., Chou, S. C., Solving Geometric Constraint Problems, II. A Symbolic Approach and Decision of Rc-constructibility, WSUCS-96-3, CS Dept, Wichita State University, 1996.
21. Lazard, D., Solving zero-dimensional algebraic systems. J. Symbolic Comput., 1992, 13(2), 117-131.