Using Cayley-Menger Determinants for geometric constraint solving

ACM Symposium on Solid Modeling and Applications, SM

Volumn , Issue , 2004, Pages 285-290

  Michelucci, Dominique ^a   Foufou, Sebti ^a,b  

^a UNIVERSITÉ DE BOURGOGNE   (France)

^b NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; MATHEMATICAL MODELS; MATRIX ALGEBRA; POLYNOMIALS; SET THEORY; VECTORS;

BEZOUT NUMBER; CAYLEY-MENGER DETERMINANTS; COCYCLICITY; GEOMETRIC CONSTRAINT SOLVING (GCS);

CONSTRAINT THEORY;

EID: 21644483350     PISSN: 18117783     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. [AAJM93] AIT-AOUDIA S., JEGOU R., MICHELUCCI D.: Reduction of constraint systems. In Compugraphic (Alvor, Portugal, 1993), pp. 83-92.
2. [Ber90] BERGER M.: Géométrie. Nathan, 1990.
3. [Blu53] BLUMENTHAL L.: Theory and Applications of Distance geometry. Clarendon Press, Oxford, 1953.
4. [BR98] BRUDERLIN B., ROLLER D. (Eds.): Geometric Constraint Solving and Applications. Springer, 1998.
5. [Coo71] COOLIDGE J. L.: A Treatise on the Geometry of the Circle and Sphere. Chelsia, New York, 1971.
6. [Doh95] DOHMEN M.: A survey of constraint satisfaction techniques for geometric modeling. Computers and Graphics 19, 6 (1995), 831-845.
7. [Dur98] DURAND C.B.: Symbolic and Numerical Techniques for Constraint Solving. PhD thesis, Purdue University, 1998.
8. [GHY02] GAO X.-S., HOFFMANN C. M., YANG W.-Q.: Solving spatial basic geometric constraint configurations with locus intersection. In ACM Symposium on Solid Modeling and Applications (Saarbrücken, Germany, 2002), ACM Press, pp. 95-104.
9. [Hav91] HAVEL T. F.: Some examples of the use of distances as coordinates for euclidean geometry. Journal of Symbolic Computation, 11 (1991), 579-593.
10. [HD99] HOFFMANN C., DURAND C.: Variational constraints in 3d. In Intl. Conf. on Shape Modeling and Applications (Aizu, Japan, 1999), pp. 90-97.
11. [HY01] HOFFMANN C. M., YUAN B.: On spatial constraint solving approaches. In Proc. of Automated Deduction in Geometry 2000, ETH Zurich (2001), Richter-Gebert J., Wang D., (Eds.), vol. 2061 of LNCS, Springer, pp. 1-15.
12. [JAMSR01] JOAN-ARINYO R., MATA N., SOTO-RIERA A.: A constraint solving-based approach to analyze 2d geometric problems with interval parameters. In Proc. 6th ACM symposium on Solid modeling and applications (2001), ACM Press, pp. 11-17.
13. [LLS02] LESAGE D., LÉON J.-C., SERRÉ P.: A declarative approach to a 2d variational modeler. In IDMME'2000 (2002), Kluwer, pp. 105-112.
14. [LM95] L AMURE H., MICHELUCCI D.: Solving constraints by homotopy. In Symp. on Solid Modeling Foundations and CAD/CAM Applications (May 1995), pp. 263-269.
15. [LM98] LAMURE H., MICHELUCCI D.: Qualitative study of geometric constraints. In Geometric Constraint Solving and Applications (1998), Bruderlin B., Roller D., (Eds.), Springer Verlag, pp. 234-258.
16. [NW91] NANUA P., WALDRON K.: Direct kinematic solution of a stewart platform. IEEE Trans. on Robotics & Automation 6, 4 (1991), 438-444.
17. [Pod02] PODGORELEC D.: A new constructive approach to constraint-based geometric design. Computer-Aided Design 34, 11 (September 2002), 769-785.
18. [PTRT03] PORTA J. M., THOMAS F., Ros L., TORRAS C.: A branch-and-prune algorithm for solving systems of distance constraints. In IEEE Int'l Conf. on Robotics & Automation (Taipei, Taiwan, 2003), pp. 342-347.
19. [Ser00] SERRÉ P.: Cohérence de la spécification d'un objet de l'espace euclidien à n dimensions. PhD thesis, Ecole Centrale Paris, 2000.
20. [Stu93] STURMFELS B.: Algorithms in Invariant Theory. Springer, 1993.
21. [Yan03] YANG L.: Solving geometric constraints with distance-based global coordinate system. In Int'l Workshop on Geometric Constraint Solving (Beijing, China, 2003).
22. [ZYY94] ZHANG J. Z., YANG L., YANG X. C.: The realization of elementary configurations in euclidean space. Science in China A 37, 1 (1994), 15-26.