On spatial constraint solving approaches

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2061, Issue , 2001, Pages 1-15

  Hoffmann, Christoph M ^a   Yuan, Bo ^a  

^a Purdue University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONSTRAINT PROBLEMS; SPATIAL CONSTRAINTS;

THEOREM PROVING;

EID: 84949503660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45410-1_1     Document Type: Conference Paper

References (11)

1. C. Durand. Symbolic and Numerical Techniques for Constraint Solving. PhD thesis, Purdue University, Dept. of Comp. Sci., 1998.
2. C. Durand and C.M. Hoffmann. A systematic framework for solving geometric constraints analytically. J. of Symbolic Computation, 30:483–520, 2000.
3. I. Fudos and C.M. Hoffmann. A graph-constructive approach to solving systems of geometric constraints. ACM Trans on Graphics, 16:179–216, 1997.
4. X.S. Gao and C.C. Zhu. Geometric constraint solving with linkages and geometric method for polynomial equations-solving. In MM Research Preprints 18, pages 48–58. Academia Sincica, Institute of Systems Science, 1999.
5. J.X. Ge, S.C. Chou, and X.S. Gao. Geometric constraint satisfaction using optimization methods. Computer Aided Design, 31:867–879, 1999.
6. C.M. Hoffmann, A. Lomonosov, and M. Sitharam. Geometric constraint decomposition. In Geometric Constraint Solving and Applications, pages 170–195. Springer- Verlag, New York, 1998.
7. C.M. Hoffmann and P. Vermeer. Geometric constraint solving in R2 and R3. In Computing in Euclidean Geometry, pages 170–195. World Scientific Publishing, Singapore, 1995.
8. D. Lazard and J.P. Merlet. The (true) Stewart platform has 12 configurations. In Proceedings IEEE International Conference on Robotics and Automation, pages 2160–2165. IEEE, 1994.
9. I.G. Macdonald, J. Pach, and Th. Theobald. Common tangents to four unit balls in R3. Discrete and Comp. Geometry, to appear.
10. D. Michelucci. Using Cayley Menger determinants. Web document available from http://www.emse.fr/˜micheluc/MENGER/index.html.
11. A. Morgan. A homotopy for solving general polynomial systems that respects mhomogeneous structures. Applied Mathematics and Computation, 24:101–113, 1987.