{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:51Z","timestamp":1750307991991,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,6]],"date-time":"2006-06-06T00:00:00Z","timestamp":1149552000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,6,6]]},"DOI":"10.1145\/1128888.1128915","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"185-196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Geometric constraints solving"],"prefix":"10.1145","author":[{"given":"Dominique","family":"Michelucci","sequence":"first","affiliation":[{"name":"Univ. de Bourgogne, Dijon, France"}]},{"given":"Sebti","family":"Foufou","sequence":"additional","affiliation":[{"name":"Univ. de Bourgogne, Dijon, France"}]},{"given":"Loic","family":"Lamarque","sequence":"additional","affiliation":[{"name":"Univ. de Bourgogne, Dijon, France"}]},{"given":"Pascal","family":"Schreck","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Louis Pasteur, Strasbourg, France"}]}],"member":"320","published-online":{"date-parts":[[2006,6,6]]},"reference":[{"unstructured":"Ait-Aoudia S. Jegou R. and Michelucci D. 1993. Reduction of constraint systems. In Compugraphic 83--92.  Ait-Aoudia S. Jegou R. and Michelucci D. 1993. Reduction of constraint systems. In Compugraphic 83--92.","key":"e_1_3_2_1_1_1"},{"unstructured":"AUTODESK. 2005. DXF reference July.  AUTODESK. 2005. DXF reference July.","key":"e_1_3_2_1_2_1"},{"volume-title":"Fractal everywhere","author":"Barnsley M.","unstructured":"Barnsley , M. 1998. Fractal everywhere . Academic Press . Barnsley, M. 1998. Fractal everywhere. Academic Press.","key":"e_1_3_2_1_3_1"},{"volume-title":"Introduction to matroid theory","author":"Bonin J.","unstructured":"Bonin , J. 2002. Introduction to matroid theory . The George Washington University . Bonin, J. 2002. Introduction to matroid theory. The George Washington University.","key":"e_1_3_2_1_5_1"},{"volume-title":"INRIA Workshop","author":"Chou S.-C.","unstructured":"Chou , S.-C. , Schelter , W. , and Yang , J . -G. 1987. Characteristic sets and grobner bases in geometry theorem proving. In Computer-Aided geometric reasoning , INRIA Workshop , Vol. I , 29--56. Chou, S.-C., Schelter, W., and Yang, J.-G. 1987. Characteristic sets and grobner bases in geometry theorem proving. In Computer-Aided geometric reasoning, INRIA Workshop, Vol. I, 29--56.","key":"e_1_3_2_1_6_1"},{"volume-title":"Mechanical Geometry theorem Proving","author":"Chou S.-C.","unstructured":"Chou , S.-C. 1988. Mechanical Geometry theorem Proving . D. Reidel Publishing Company . Chou, S.-C. 1988. Mechanical Geometry theorem Proving. D. Reidel Publishing Company.","key":"e_1_3_2_1_7_1"},{"volume-title":"Projective geometry","author":"Coxeter H.","unstructured":"Coxeter , H. 1987. Projective geometry . Springer-Verlag , Heidelberg . Coxeter, H. 1987. Projective geometry. Springer-Verlag, Heidelberg.","key":"e_1_3_2_1_8_1"},{"volume-title":"The beauty of geometry. 12 essays","author":"Coxeter H.","unstructured":"Coxeter , H. 1999. The beauty of geometry. 12 essays . Dover publications. Coxeter, H. 1999. The beauty of geometry. 12 essays. Dover publications.","key":"e_1_3_2_1_9_1"},{"volume-title":"An introduction to support vector machines","author":"Cristianini N.","unstructured":"Cristianini , N. , and Shawe-Taylor , J. 2000. An introduction to support vector machines . Cambridge University Press . Cristianini, N., and Shawe-Taylor, J. 2000. An introduction to support vector machines. Cambridge University Press.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/267734.267804"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1016\/S0004-3702(97)00070-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1006\/jsco.2000.0392"},{"volume-title":"Curves and Surfaces for Computer Aided Geometric Design --- a Practical Guide","author":"Farin G.","unstructured":"Farin , G. 1988. Curves and Surfaces for Computer Aided Geometric Design --- a Practical Guide . Academic Press , Boston, MA , ch. B\u00e9zier Triangles, 321--351. Farin, G. 1988. Curves and Surfaces for Computer Aided Geometric Design --- a Practical Guide. Academic Press, Boston, MA, ch. B\u00e9zier Triangles, 321--351.","key":"e_1_3_2_1_15_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/1060244.1060261"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/781606.781617"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1016\/S0010-4485(03)00056-3"},{"doi-asserted-by":"crossref","unstructured":"Garloff J. and Smith A. 2001. Solution of systems of polynomial equations by using bernstein expansion. Symbolic Algebraic Methods and Verification Methods 87--97.  Garloff J. and Smith A. 2001. Solution of systems of polynomial equations by using bernstein expansion. Symbolic Algebraic Methods and Verification Methods 87--97.","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-7091-6280-4_9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/S0362-546X(01)00166-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/0004-3702(88)90052-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1137\/0221008"},{"unstructured":"Hilbert D. 1971. Les fondements de la g\u00e9om\u00e9trie a french translation of Grunlagen de Geometrie with discussions by P. Rossier. Dunod.  Hilbert D. 1971. Les fondements de la g\u00e9om\u00e9trie a french translation of Grunlagen de Geometrie with discussions by P. Rossier. Dunod.","key":"e_1_3_2_1_23_1"},{"volume-title":"Handbook of Computer Aided Geometric Design. North-Holland","author":"Hoffmann C.","unstructured":"Hoffmann , C. , and Joan-Arinyo , R. 2002. Handbook of Computer Aided Geometric Design. North-Holland , Amsterdam , ch. Parametric Modeling , 519--542. Hoffmann, C., and Joan-Arinyo, R. 2002. Handbook of Computer Aided Geometric Design. North-Holland, Amsterdam, ch. Parametric Modeling, 519--542.","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1006\/jsco.2000.0402"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1016\/S0010-4485(03)00099-X"},{"key":"e_1_3_2_1_27_1","first-page":"807","article-title":"Robust Interval Solid Modelling","volume":"28","author":"Hu C.-Y.","year":"1996","unstructured":"Hu , C.-Y. , Patrikalakis , N. , and Ye , X. 1996 . Robust Interval Solid Modelling . Part 1: Representations. Part 2: Boundary Evaluation. CAD 28 , 10, 807 -- 817 , 819--830. Hu, C.-Y., Patrikalakis, N., and Ye, X. 1996. Robust Interval Solid Modelling. Part 1: Representations. Part 2: Boundary Evaluation. CAD 28, 10, 807--817, 819--830.","journal-title":"Part 1: Representations. Part 2: Boundary Evaluation. CAD"},{"volume-title":"Graduate Studies in Mathematics","author":"Graver B.","unstructured":"J. Graver , B. Servatius , H. S. 1993. Combinatorial Rigidity . Graduate Studies in Mathematics . American Mathematical Society . J. Graver, B. Servatius, H. S. 1993. Combinatorial Rigidity. Graduate Studies in Mathematics. American Mathematical Society.","key":"e_1_3_2_1_28_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/781606.781616"},{"doi-asserted-by":"crossref","unstructured":"Lamure H. and Michelucci D. 1998. Qualitative study of geometric constraints. In Geometric Constraint Solving and Applications Springer-Verlag.  Lamure H. and Michelucci D. 1998. Qualitative study of geometric constraints. In Geometric Constraint Solving and Applications Springer-Verlag.","key":"e_1_3_2_1_31_1","DOI":"10.1007\/978-3-642-58898-3_12"},{"unstructured":"Laurent M. 2001. Matrix completion problems. The Encyclopedia of Optimization 3 Interior - M 221--229.  Laurent M. 2001. Matrix completion problems. The Encyclopedia of Optimization 3 Interior - M 221--229.","key":"e_1_3_2_1_32_1"},{"volume-title":"IDMME'00","author":"Lesage D.","unstructured":"Lesage , D. , L\u00e9on , J.-C. , and Serr\u00e9 , P . 2000. A declarative approach to a 2d variational modeler . In IDMME'00 . Lesage, D., L\u00e9on, J.-C., and Serr\u00e9, P. 2000. A declarative approach to a 2d variational modeler. In IDMME'00.","key":"e_1_3_2_1_33_1"},{"volume-title":"The Fractal Geometry of Nature","author":"Mandelbrot B.","unstructured":"Mandelbrot , B. 1982. The Fractal Geometry of Nature . W.H. Freeman and Company , New York . Mandelbrot, B. 1982. The Fractal Geometry of Nature. W.H. Freeman and Company, New York.","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","first-page":"10","article-title":"A reliable curves tracing method","volume":"5","author":"Michelucci D.","year":"2005","unstructured":"Michelucci , D. , and Faudot , D. 2005 . A reliable curves tracing method . IJCSNS 5 , 10 . Michelucci, D., and Faudot, D. 2005. A reliable curves tracing method. IJCSNS 5, 10.","journal-title":"IJCSNS"},{"volume-title":"Proceedings of the 2004 ACM symposium on Solid modeling, 285--290","author":"Michelucci D.","unstructured":"Michelucci , D. , and Foufou , S . 2004. Using Cayley Menger determinants . In Proceedings of the 2004 ACM symposium on Solid modeling, 285--290 . Michelucci, D., and Foufou, S. 2004. Using Cayley Menger determinants. In Proceedings of the 2004 ACM symposium on Solid modeling, 285--290.","key":"e_1_3_2_1_36_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1016\/j.cad.2006.01.005"},{"unstructured":"Michelucci D. and Schreck P. 2004. Detecting induced incidences in the projective plane. In isiCAD Workshop.  Michelucci D. and Schreck P. 2004. Detecting induced incidences in the projective plane. In isiCAD Workshop.","key":"e_1_3_2_1_38_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1023\/B:REOM.0000003995.08805.2a"},{"volume-title":"Introduction to Numerical Analysis","author":"Neumaier A.","unstructured":"Neumaier , A. Cambridge , 2001. Introduction to Numerical Analysis . Cambridge Univ. Press . Neumaier, A. Cambridge, 2001. Introduction to Numerical Analysis. Cambridge Univ. Press.","key":"e_1_3_2_1_42_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1145\/112515.112573"},{"volume-title":"Proceedings of the 2003 IEEE International Conference on Robotics & Automation.","author":"Porta J. M.","unstructured":"Porta , J. M. , Thomas , F. , Ros , L. , and Torras , C . 2003. A branch and prune algorithm for solving systems of distance constraints . In Proceedings of the 2003 IEEE International Conference on Robotics & Automation. Porta, J. M., Thomas, F., Ros, L., and Torras, C. 2003. A branch and prune algorithm for solving systems of distance constraints. In Proceedings of the 2003 IEEE International Conference on Robotics & Automation.","key":"e_1_3_2_1_44_1"},{"key":"e_1_3_2_1_45_1","series-title":"Lecture Notes in Mathematics 1643","volume-title":"Realization Spaces of Polytopes","author":"Richter-Gebert J.","unstructured":"Richter-Gebert , J. 1996. Realization Spaces of Polytopes . Lecture Notes in Mathematics 1643 , Springer . Richter-Gebert, J. 1996. Realization Spaces of Polytopes. Lecture Notes in Mathematics 1643, Springer."},{"volume-title":"International Workshop on Computer Graphics and Geometric Modeling, CGGM'2003","author":"Schramm E.","unstructured":"Schramm , E. , and Schreck , P . 2003. Solving geometric constraints invariant modulo the similarity group . In International Workshop on Computer Graphics and Geometric Modeling, CGGM'2003 , Springer-Verlag, Montr\u00e9al, LNCS Series. Schramm, E., and Schreck, P. 2003. Solving geometric constraints invariant modulo the similarity group. In International Workshop on Computer Graphics and Geometric Modeling, CGGM'2003, Springer-Verlag, Montr\u00e9al, LNCS Series.","key":"e_1_3_2_1_46_1"},{"volume-title":"Robustness in cad geometric constructions","author":"Schreck P.","unstructured":"Schreck , P. 2001. Robustness in cad geometric constructions . In IEEE Computer Society Press , P. of the 5th International Conference IV in London, Ed., 111--116. Schreck, P. 2001. Robustness in cad geometric constructions. In IEEE Computer Society Press, P. of the 5th International Conference IV in London, Ed., 111--116.","key":"e_1_3_2_1_47_1"},{"unstructured":"Serr\u00e9 P. Cl\u00e9ment A. and Rivi\u00e9re A. 1999. Global consistency of dimensioning and tolerancing. ISBN 0-7923-5654-3. Kluwer Academic Publishers March 1--26.  Serr\u00e9 P. Cl\u00e9ment A. and Rivi\u00e9re A. 1999. Global consistency of dimensioning and tolerancing. ISBN 0-7923-5654-3. Kluwer Academic Publishers March 1--26.","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","volume-title":"Proc. Third ID-MME Conference","author":"Serr\u00e9 P.","year":"2000","unstructured":"Serr\u00e9 , P. , Cl\u00e9ment , A. , and Rivi\u00e9re , A . 2002. Formal definition of tolerancing in CAD and metrology. In Integrated Design an Manufacturing in Mechanical Engineering . Proc. Third ID-MME Conference , Montreal, Canada , May 2000 , Kluwer Academic Publishers, 211--218. Serr\u00e9, P., Cl\u00e9ment, A., and Rivi\u00e9re, A. 2002. Formal definition of tolerancing in CAD and metrology. In Integrated Design an Manufacturing in Mechanical Engineering. Proc. Third ID-MME Conference, Montreal, Canada, May 2000, Kluwer Academic Publishers, 211--218."},{"doi-asserted-by":"crossref","unstructured":"Serr\u00e9 P. Cl\u00e9ment A. and Rivi\u00e9re A. 2003. Analysis of functional geometrical specification. In Geometric Product Specification and Verification: Integration of functionality. Kluwer Academic Publishers 115--125.  Serr\u00e9 P. Cl\u00e9ment A. and Rivi\u00e9re A. 2003. Analysis of functional geometrical specification. In Geometric Product Specification and Verification: Integration of functionality. Kluwer Academic Publishers 115--125.","key":"e_1_3_2_1_50_1","DOI":"10.1007\/978-94-017-1691-8_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_52_1","DOI":"10.1016\/0167-8396(93)90019-Y"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_53_1","DOI":"10.1016\/j.cad.2005.05.001"},{"volume-title":"Algorithms in Invariant Theory","author":"Sturmfels B.","unstructured":"Sturmfels , B. 1993. Algorithms in Invariant Theory . Springer . Sturmfels, B. 1993. Algorithms in Invariant Theory. Springer.","key":"e_1_3_2_1_54_1"},{"volume-title":"CAD Conference (presentation only,","author":"Wintz J.","unstructured":"Wintz , J. , Mathis , P. , and Schreck , P . 2005. A metalanguage for geometric constraints description . In CAD Conference (presentation only, available at http:\/\/axis.u-strasbg.fr\/~schreck\/Publis\/gcml.pdf). Wintz, J., Mathis, P., and Schreck, P. 2005. A metalanguage for geometric constraints description. In CAD Conference (presentation only, available at http:\/\/axis.u-strasbg.fr\/~schreck\/Publis\/gcml.pdf).","key":"e_1_3_2_1_55_1"},{"volume-title":"Handbook of Theoretical Computer Science","author":"Wirsing M.","unstructured":"Wirsing , M. 1990. Handbook of Theoretical Computer Science . Elsevier Science , ch. Algebraic specification, 677--780. Wirsing, M. 1990. Handbook of Theoretical Computer Science. Elsevier Science, ch. Algebraic specification, 677--780.","key":"e_1_3_2_1_56_1"},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. 4th Intl. Workshop on Automated Deduction in Geometry.","author":"Yang L.","year":"2002","unstructured":"Yang , L. 2002 . Distance coordinates used in geometric constraint solving . In Proc. 4th Intl. Workshop on Automated Deduction in Geometry. Yang, L. 2002. Distance coordinates used in geometric constraint solving. In Proc. 4th Intl. Workshop on Automated Deduction in Geometry."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_58_1","DOI":"10.1145\/1141277.1141510"}],"event":{"sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"],"acronym":"SPM06","name":"SPM06: 2006 ACM Symposium on Solid and Physical Modeling","location":"Cardiff, Wales United Kingdom"},"container-title":["Proceedings of the 2006 ACM symposium on Solid and physical modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1128888.1128915","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1128888.1128915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:17Z","timestamp":1750259177000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1128888.1128915"}},"subtitle":["some tracks"],"short-title":[],"issued":{"date-parts":[[2006,6,6]]},"references-count":52,"alternative-id":["10.1145\/1128888.1128915","10.1145\/1128888"],"URL":"https:\/\/doi.org\/10.1145\/1128888.1128915","relation":{},"subject":[],"published":{"date-parts":[[2006,6,6]]},"assertion":[{"value":"2006-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}