Geometric constraints solving

Dominique Michelucci, Sebti Foufou, Loic Lamarque, Pascal Schreck
2006 Proceedings of the 2006 ACM symposium on Solid and physical modeling - SPM '06  
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
more » ... traints, the study of incidence constraints, the search for intrinsic (coordinate-free) formulations and the need for formal specifications.
doi:10.1145/1128888.1128915 dblp:conf/sma/MichelucciFLS06 fatcat:54htnf6dfzh2tf2lem3yqbxmoe