Dominique Michelucci

Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Polytope-based computation of polynomial ranges. Computer Aided Geometric Design 29(1): 18-29 (2012)

Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci: Special issue on geometric constraints and reasoning. Comput. Geom. 45(8): 383-384 (2012)

Sebti Foufou, Dominique Michelucci: Interrogating witnesses for geometric constraint solving. Inf. Comput. 216: 24-38 (2012)

Simon E. B. Thierry, Pascal Schreck, Dominique Michelucci, Christoph Fünfzig, Jean-David Génevaux: Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems. Computer-Aided Design 43(10): 1234-1249 (2011)

Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Optimizations for Tensorial Bernstein-Based Solvers by Using Polyhedral Bounds. International Journal of Shape Modeling 16(1-2): 109-128 (2010)

Dominique Michelucci: Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. Automated Deduction in Geometry 2010: 118-131

Dominique Michelucci: What Is a Line ? Automated Deduction in Geometry 2010: 132-151

Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Polytope-based computation of polynomial ranges. SAC 2010: 1247-1252

Dominique Michelucci, Pascal Schreck, Simon E. B. Thierry, Christoph Fünfzig, Jean-David Génevaux: Using the witness method to detect rigid subsystems of geometric constraints in CAD. Symposium on Solid and Physical Modeling 2010: 91-100

Christoph Fünfzig, Dominique Michelucci, Sebti Foufou: Nonlinear systems solver in floating-point arithmetic using LP reduction. Symposium on Solid and Physical Modeling 2009: 123-134

Dominique Michelucci, Sebti Foufou: Interrogating witnesses for geometric constraint solving. Symposium on Solid and Physical Modeling 2009: 343-348

Dominique Michelucci, Christoph Fünfzig: Linear Programming for Bernstein Based Solvers. Automated Deduction in Geometry 2008: 163-178

Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou: Robustness and Randomness. Reliable Implementation of Real Number Algorithms 2008: 127-148

Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Special track on Geometric Constraints and Reasoning: editorial message. SAC 2008: 1814-1815

Dominique Michelucci: Isometry group, words and proofs of geometric theorems. SAC 2008: 1821-1825

Dominique Faudot, Dominique Michelucci: A New Robust Algorithm to Trace Curves. Reliable Computing 13(4): 309-324 (2007)

Dominique Michelucci, Sebti Foufou: Geometric constraint solving: The witness configuration method. Computer-Aided Design 38(4): 284-299 (2006)

Dominique Michelucci, Sebti Foufou: Interval-based Tracing of Strange Attractors. Int. J. Comput. Geometry Appl. 16(1): 27-40 (2006)

Xiao-Shan Gao, Dominique Michelucci: Guest Editors' Foreword. Int. J. Comput. Geometry Appl. 16(5-6): 377-378 (2006)

Dominique Michelucci, Pascal Schreck: Incidence Constraints: a Combinatorial Approach. Int. J. Comput. Geometry Appl. 16(5-6): 443-460 (2006)

Dominique Michelucci, Sebti Foufou: Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. Automated Deduction in Geometry 2006: 98-112

Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux: Another Paradigm for Geometric Constraints Solving. CCCG 2006

Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou: Robustness and Randomness. Reliable Implementation of Real Number Algorithms 2006

Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck: Editorial message: technical track on geometric computing and reasoning. SAC 2006: 962

Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck: Geometric constraints solving: some tracks. Symposium on Solid and Physical Modeling 2006: 185-196

Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux: Bernstein based arithmetic featuring de Casteljau. CCCG 2005: 215-218

Sebti Foufou, Dominique Michelucci, Jean-Paul Jurzak: Numerical decomposition of geometric constraints. Symposium on Solid and Physical Modeling 2005: 143-151

Frederic Banégas, Marc Jaeger, Dominique Michelucci, M. Roelen: The ellipsoidal skeleton in medical applications. Symposium on Solid Modeling and Applications 2001: 30-38

Dominique Michelucci, Jean-Michel Moreau: ZEA - A zero-free exact arithmetic . CCCG 2000

Hélymar Balza-Gomez, Dominique Michelucci, Jean-Michel Moreau: The periodicity of integral convex hulls for conics in r². CCCG 1999

Hélymar Balza-Gomez, Jean-Michel Moreau, Dominique Michelucci: Convex Hull of Grid Points below a Line or a Convex Curve. DGCI 1999: 361-374

Dominique Michelucci, Jean-Michel Moreau: Lazy Arithmetic. IEEE Trans. Computers 46(9): 961-975 (1997)

Dominique Michelucci: A quadratic non-standard arthmetic. CCCG 1997

Mohand Ourabah Benouamer, Dominique Michelucci: Bridging the Gap Between CSG and Brep via a Triple Ray Representation. Symposium on Solid Modeling and Applications 1997: 68-79

Hervé Lamure, Dominique Michelucci: Solving Geometric Constraints By Homotopy. IEEE Trans. Vis. Comput. Graph. 2(1): 28-34 (1996)

Jean-Claude Bajard, Dominique Michelucci, Jean-Michel Moreau, Jean-Michel Muller: Introduction to the Special Issue: "Real Numbers and Computers". J. UCS 1(7): 436-438 (1995)

Dominique Michelucci: An epsilon-Arithmetic for Removing Degeneracies. IEEE Symposium on Computer Arithmetic 1995: 230-

Hervé Lamure, Dominique Michelucci: Solving geometric constraints by homotopy. Symposium on Solid Modeling and Applications 1995: 263-269

Mohand Ourabah Benouamer, Dominique Michelucci, Bernard Peroche: Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation. Computer-Aided Design 26(6): 403-416 (1994)

Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau: Hashing lazy numbers. Computing 53(3-4): 205-217 (1994)

Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau: A lazy exact arithmetic. IEEE Symposium on Computer Arithmetic 1993: 242-249

Mohand Ourabah Benouamer, Dominique Michelucci, Bernard Peroche: Error-free boundary evaluation using lazy rational arithmetic: a detailed implementation. Solid Modeling and Applications 1993: 115-126