Dominique Michelucci

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Optimizing Query Perturbations to Enhance Shape Retrieval Mathematical Aspects of Computer and Information Sciences	2021-12-08	Paper
Using skeleton and Hough transform variant to correct skew in historical documents Mathematics and Computers in Simulation	2021-03-06	Paper
Towards a better integration of modelers and black box constraint solvers within the product design process Annals of Mathematics and Artificial Intelligence	2019-05-16	Paper
Reliable representations of strange attractors Scientific Computing, Validated Numerics, Interval Methods	2018-07-16	Paper
Reduction of constraint systems	2014-02-04	Paper
Optimizations for tensorial Bernstein-Based solvers by using polyhedral bounds International Journal of Shape Modeling	2013-06-06	Paper
Interrogating witnesses for geometric constraint solving Information and Computation	2012-10-11	Paper
Polytope-based computation of polynomial ranges Computer Aided Geometric Design	2012-06-11	Paper
What is a line? Automated Deduction in Geometry	2011-11-25	Paper
Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry Automated Deduction in Geometry	2011-11-25	Paper
Linear programming for Bernstein based solvers Automated Deduction in Geometry	2011-05-26	Paper
Geometric constraint solving: the witness configuration method CAD. Computer-Aided Design	2011-03-04	Paper
Robustness and Randomness Reliable Implementation of Real Number Algorithms: Theory and Practice	2009-01-13	Paper
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method Automated Deduction in Geometry	2008-04-01	Paper
A new robust algorithm to trace curves Reliable Computing	2007-08-20	Paper
INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH International Journal of Computational Geometry & Applications	2007-02-09	Paper
INTERVAL-BASED TRACING OF STRANGE ATTRACTORS International Journal of Computational Geometry & Applications	2006-05-10	Paper
Hashing lazy numbers Computing	1994-12-20	Paper

Research outcomes over time

This page was built for person: Dominique Michelucci