Variations of geometries based on a geometric-reasoning method, Affine Arithmetic », Inter- val'94, pp.117-126, 1988. ,
« Using Graph Decomposition for Solving Continuous CSPs, Proc. of Constraint Programming, CP'98, pp.102-116, 1998. ,
Algorithms for Solving Nonlinear Constrained and Optimisation Problems : State of the Art, A 222 page progress report of the COCONUT project, 2001. ,
« Geometric construction by assembling solved subfigures, Artificial Intelligence Journal, vol.99, issue.1, pp.73-119, 1998. ,
Adaptive Enumeration of Implicit Surfaces with Affine Arithmetic, Proc. Eurographics Workshop on Implicit Surfaces, pp.161-170, 1995. ,
DOI : 10.1111/1467-8659.1550287
« A Graph-Constructive Approach to Solving Systems of Geometric Constraints, ACM Transactions on Graphics, vol.16, pp.2-179, 1997. ,
Geometric Constraint Solving Based on Connectivity of Graph, Rapport n°22, Academia Sinica, 2003. ,
Counting on Frameworks : Mathematics to Aid the Design of Rigid Structures, 2002. ,
Decomposition of Geometric Constraints Part I : performance measures & Part II : new algorithms, J. of Symbolic Computation, vol.31, p.4, 2001. ,
« A Degree-of-Freedom Graph Approach », Geometric Modeling : Theory And Practice, pp.132-155, 1997. ,
« Decomposition of Geometric Constraint Systems : a Survey », International journal of computational geometryc and applications ? special issue on geometric constraints, 2006. ,
« Revisiting decomposition analysis of geometric constraint graphs, Computer Aided Design, vol.36, pp.123-140, 2004. ,
Rigorous Global Search : Continuous Problems, 1996. ,
« Qualitative study of geometric constraints », Geometric Constraint Solving and Applications, pp.234-258, 1998. ,
« Comparison of interval methods for plotting algebraic curves, Comput. Aided Geom. Des, vol.19, issue.7, pp.553-587, 2002. ,
« Interval based tracing of strange attractors, International Journal of Computational Geometry and Applications, vol.16, pp.1-27, 2006. ,
« The Witness Configuration Method, Computer Aided Design, vol.38, issue.4, pp.284-299, 2006. ,
Interval Methods for Systems of Equations, 1990. ,
DOI : 10.1017/CBO9780511526473
« Solving geometric constraints invariant modulo the similarity group, Proceedings of the 2002 International Conference on Computational Science and its Applications Part II, pp.356-365, 2003. ,
GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH, International Journal of Computational Geometry & Applications, vol.16, issue.05n06, 2006. ,
DOI : 10.1142/S0218195906002129
Using invariance under the similarity group to solve geometric constraint systems, Computer-Aided Design, vol.38, issue.5, pp.475-484, 2006. ,
DOI : 10.1016/j.cad.2006.01.002
« Rapid Algebraic Resolution of 3D Geometric Constraints and Control of their Consistency, Proceedings of the 4th International Workshop on Automated Deduction in Geometry, 2002. ,
Novel Techniques for Robust Voxelization and Visualization of Implicit Surfaces, Graphical Models, vol.63, issue.6, pp.387-412, 2001. ,
DOI : 10.1006/gmod.2001.0559
Sketchpad, Proceedings of the May 21-23, 1963, spring joint computer conference on, AFIPS '63 (Spring), 1963. ,
DOI : 10.1145/1461551.1461591
a Fast Algorithm to Decompose Under-constrained Geometric Constraints : Application to 3D Model Reconstruction, Int. Journal of Computational Geometry and Applications (IJCGA), vol.16, pp.submit- ted, 2006. ,
« Rule Oriented Method for Parametrized Computer Aided Design, Computer Aided Design, vol.24, pp.6-531, 1992. ,