| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christoph Fünfzig, Dominique Michelucci, Sebti Foufou |
Polytope-based computation of polynomial ranges.  |
Computer Aided Geometric Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Fünfzig, Dominique Michelucci, Sebti Foufou |
Optimizations for Tensorial Bernstein-Based Solvers by Using Polyhedral Bounds. |
International Journal of Shape Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Fünfzig, Dominique Michelucci, Sebti Foufou |
Polytope-based computation of polynomial ranges. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
polynomial ranges, polytopes, multivariate polynomials, Bernstein polynomials |
| 1 | Dominique Michelucci |
What Is a Line ? |
Automated Deduction in Geometry |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
W-decomposition, rigidity theory, witness configuration, geometric constraints solving, Jacobian matrix |
| 1 | Christoph Fünfzig, Dominique Michelucci, Sebti Foufou |
Nonlinear systems solver in floating-point arithmetic using LP reduction. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
intersection computation, subdivision solver, linear programming, CAD, interval arithmetic, geometric constraints, geometric constraint solving, distance computation |
| 1 | Dominique Michelucci, Sebti Foufou |
Interrogating witnesses for geometric constraint solving. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
dependency detection, geometric constraint solving |
| 1 | Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck |
Special track on Geometric Constraints and Reasoning: editorial message. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci |
Isometry group, words and proofs of geometric theorems. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
Knuth-Bendix, orthogonal symmetries group, rewriting methods, groups, geometry, rewriting, words, isometry, involution |
| 1 | Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou |
Robustness and Randomness. |
Reliable Implementation of Real Number Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Christoph Fünfzig |
Linear Programming for Bernstein Based Solvers. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Faudot, Dominique Michelucci |
A New Robust Algorithm to Trace Curves. |
Reliable Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Sebti Foufou |
Geometric constraint solving: The witness configuration method. |
Computer-Aided Design |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Sebti Foufou |
Interval-based Tracing of Strange Attractors. |
Int. J. Comput. Geometry Appl. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao-Shan Gao, Dominique Michelucci |
Guest Editors' Foreword. |
Int. J. Comput. Geometry Appl. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Pascal Schreck |
Incidence Constraints: a Combinatorial Approach. |
Int. J. Comput. Geometry Appl. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux |
Another Paradigm for Geometric Constraints Solving. |
CCCG |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck |
Editorial message: technical track on geometric computing and reasoning. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou |
Robustness and Randomness. |
Reliable Implementation of Real Number Algorithms |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dominique Michelucci, Sebti Foufou |
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck |
Geometric constraints solving: some tracks. |
Symposium on Solid and Physical Modeling |
2006 |
DBLP DOI BibTeX RDF |
bernstein base, incidence constraint, randomized prover, rigidity theory, witness configuration, decomposition, projective geometry, geometric constraints solving |
| 1 | Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux |
Bernstein based arithmetic featuring de Casteljau. |
CCCG |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sebti Foufou, Dominique Michelucci, Jean-Paul Jurzak |
Numerical decomposition of geometric constraints. |
Symposium on Solid and Physical Modeling |
2005 |
DBLP DOI BibTeX RDF |
constraints decomposition and solving, geometry provers, geometric constraints |
| 1 | Frederic Banégas, Marc Jaeger, Dominique Michelucci, M. Roelen |
The ellipsoidal skeleton in medical applications. |
Symposium on Solid Modeling and Applications |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci, Jean-Michel Moreau |
ZEA - A zero-free exact arithmetic . |
CCCG |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hélymar Balza-Gomez, Dominique Michelucci, Jean-Michel Moreau |
The periodicity of integral convex hulls for conics in r2. |
CCCG |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hélymar Balza-Gomez, Jean-Michel Moreau, Dominique Michelucci |
Convex Hull of Grid Points below a Line or a Convex Curve. |
DGCI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Dominique Michelucci, Jean-Michel Moreau |
Lazy Arithmetic. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
exact rational arithmetic, lazy arithmetic, Computational geometry, robustness, interval arithmetic, inconsistencies, hash coding |
| 1 | Dominique Michelucci |
A quadratic non-standard arthmetic. |
CCCG |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mohand Ourabah Benouamer, Dominique Michelucci |
Bridging the Gap Between CSG and Brep via a Triple Ray Representation. |
Symposium on Solid Modeling and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Lamure, Dominique Michelucci |
Solving Geometric Constraints By Homotopy. |
IEEE Trans. Vis. Comput. Graph. |
1996 |
DBLP DOI BibTeX RDF |
numerical resolution, constaints-based modeling, Geometric constraints, homotopy, continuation methods |
| 1 | Jean-Claude Bajard, Dominique Michelucci, Jean-Michel Moreau, Jean-Michel Muller |
Introduction to the Special Issue: "Real Numbers and Computers". |
J. UCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hervé Lamure, Dominique Michelucci |
Solving geometric constraints by homotopy. |
Symposium on Solid Modeling and Applications |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Michelucci |
An epsilon-Arithmetic for Removing Degeneracies. |
IEEE Symposium on Computer Arithmetic |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau |
Hashing lazy numbers. |
Computing |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohand Ourabah Benouamer, Dominique Michelucci, Bernard Peroche |
Error-free boundary evaluation based on a lazy rational arithmetic: a detailed implementation. |
Computer-Aided Design |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohand Ourabah Benouamer, Dominique Michelucci, Bernard Peroche |
Error-free boundary evaluation using lazy rational arithmetic: a detailed implementation. |
Solid Modeling and Applications |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau |
A lazy exact arithmetic. |
IEEE Symposium on Computer Arithmetic |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")