Distance coordinates used in geometric constraint solving

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2930, Issue , 2004, Pages 216-229

  Yang, Lu ^a,b  

^a GUANGZHOU UNIVERSITY   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); LOGIC PROGRAMMING; THEOREM PROVING; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; NUMERICAL METHODS;

CONSTRAINT EQUATION; DISTANCE GEOMETRY; GEOMETRIC CONSTRAINT SOLVING; INVARIANT METHODS;

GEOMETRY;

CONSTRAINT EQUATIONS; GEOMETRIC CONSTRAINT; INVARIANT METHOD;

EID: 7444235996     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24616-9_13     Document Type: Conference Paper

References (10)

1. Blumenthal, L. M., Theory and Applications of Distance Geometry, Clarendon Press, Oxford, 1953. (The second edition, Chelsea, New York, 1970.) 218
2. Durand, C. & Hoffmann, C. M., A systematic framework for solving geometric constraints analytically, J. of Symbolic Computation, 30: 483-520, 2000. 221
3. Ge, J.-X., Chou S.-C. & Gao X.-S., Geometric constraint satisfaction using optimization methods, Computer-Aided Design, 31(1999), 867-879. 228, 229
4. Gao, X.-S., Yang, W.-Q. & Hoffmann C. M., Solving spatial basic configurations with locus intersection, MM Research Prints, 20, 1-22, MMRC, AMSS, Academia Sinica, Bejing, December 2001. 221
5. Hoffmann, C.M. & Yuan, B., On spatial constraint approaches, Automated Deduction in Geometry, LNAI 2061, J. Richter-Gebert & D. Wang (eds.), 1-15, Springer Verlag, 2001. 221, 225
6. Michelucci, D., Using Cayley-Menger Determinants, web document available from http://www.emse.fr/micheluc/MENGER/index.html. 221
7. Yang, L. & Zhang, J. Z., A class of geometric inequalities on finite points, Acta Math. Sinica, 23(5), 740-749, 1980. (in Chinese) 217, 218
8. Yang, L. & Zhang, J. Z., The concept of the rank of an abstract distance space, Journal of China University of Science and Technology, 10(4), 52-65, 1980. (in Chinese) 217, 218, 219
9. Yang, L. & Zhang, J. Z., Metric equations in geometry and their applications, I. C. T. P. Research Report, IC/89/281, International Centre for Theoretical Physics, Trieste, Italy, 1989. 217, 219
10. Zhang, J. Z., Yang, L. & Yang, X. C., The realization of elementary configurations in Euclidean space, Science in China, A 37(1), 15-26, 1994. 219