Geometric Constraints Solving: Some tracks

Dominique Michelucci, Sebti Foufou, Loic Lamarque, Pascal Schreck

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This paper presents some important issues and potential research tracks for Geometric Constraint Solving: the use of the simplicial Bernstein base to reduce the wrapping effect in interval methods, the computation of the dimension of the solution set with methods used to measure the dimension of fractals, the pitfalls of graph based decomposition methods, the alternative provided by linear algebra, the witness configuration method, the use of randomized provers to detect dependences between constraints, the study of incidence constraints, the search for intrinsic (coordinate-free) formulations and the need for formal specifications.

Original languageEnglish (US)
Title of host publicationProceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling
Number of pages12
StatePublished - 2006
EventSPM 2006 - ACM Symposium on Solid and Physical Modeling - Wales, United Kingdom
Duration: Jun 6 2005Jun 8 2005

Publication series

NameProceedings SPM 2006 - ACM Symposium on Solid and Physical Modeling


OtherSPM 2006 - ACM Symposium on Solid and Physical Modeling
Country/TerritoryUnited Kingdom


  • Bernstein base
  • Decomposition
  • Geometric Constraints Solving
  • Incidence constraint
  • Projective geometry
  • Randomized prover
  • Rigidity theory
  • Witness configuration

ASJC Scopus subject areas

  • General Engineering


Dive into the research topics of 'Geometric Constraints Solving: Some tracks'. Together they form a unique fingerprint.

Cite this