Rémi Imbach


INRIA Grand-Est - Team VEGAS
615, rue du Jardin Botanique, B.P. 101,
54602 Villers-lès-Nancy cedex, France
Phone: (33) 3 83 59 20 21
Office: B172
E-mail: remi.imbach(at)inria.fr

From November 2014 to October 2016 I held a post-doctoral position in the VEGAS (Effective Geometric Algorithms for Surfaces and Visibility) research team at INRIA (National Institute for Research in Computer Science and Control).

I was previously PhD student, then A.T.E.R (teaching & research position), in the IGG (Computer Graphics and Geometry) team of the ICube laboratory in the University of Strasbourg.

Please find here a detailed CV.
Software

March 2016 subdivision_solver is a solver for square systems of polynomial equations using exhaustive search in an initial bounded real domain given as a box (i.e. a vector of intervals). It is specifically designed to handle systems of large dense polynomials and uses adaptive multi-precision arithmetic to stay robust to hard cases.

subdivision_solver is proposed as a package for the mathematical software SageMath . It is based on the package fast_polynomial for SageMath that provides fast evaluation of polynomials on intervals and uses Horner forms.

The non-existence of a solution within a box is certified by an evaluation scheme that uses a Taylor expansion at order 2, and existence and uniqueness of a solution within a box is certified with krawczyk operator.

List of publications

International Journals
[Imbach 17] Rémi Imbach, Guillaume Moroz & Marc Pouget. A certified numerical algorithm for the topology of resultant and discriminant curves. Journal of Symbolic Computation, vol. 80, Part 2, pages 285 -- 306, 2017. [ bib | DOI | http ]
[Imbach 16a] Rémi Imbach, Pascal Mathis & Pascal Schreck. A robust and efficient method for solving point distance problems by homotopy. Mathematical Programming, pages 1--30, 2016. [ bib | DOI | http | research report ]
[Imbach 14] Rémi Imbach, Pascal Schreck & Pascal Mathis. Leading a continuation method by geometry for solving geometric constraints. Computer-Aided Design, vol. 46, pages 138--147, 2014. [ bib | .pdf ]
International Conferences proceedings
[Imbach 16b] Rémi Imbach, Guillaume Moroz & Marc Pouget. Numeric and certified isolation of the singularities of the projection of a smooth space curve, pages 78--92. Springer International Publishing, Cham, 2016. [ bib | DOI | http ]
[Mathis 12] Pascal Mathis, Pascal Schreck & Rémi Imbach. Decomposition of geometrical constraint systems with reparameterization. In Proceedings of the 27th Annual ACM Symposium on Applied Computing, pages 102--108. ACM, 2012. [ bib | http ]
[Imbach 11] Rémi Imbach, Pascal Mathis & Pascal Schreck. Tracking method for reparametrized geometrical constraint systems. In 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pages 31--38. IEEE, 2011. [ bib | .pdf ]
Technical Report
[Imbach 16c] Rémi Imbach. A Subdivision Solver for Systems of Large Dense Polynomials. Technical Report 476, INRIA Nancy, March 2016. [ bib | http ]
French Workshop proceedings
[Imbach 15] Rémi Imbach, Guillaume Moroz & Marc Pouget. A Certified Numerical Approach to Describe the Topology of Projected Curves. In Journées de l'Association Française d'Informatique Graphique, 2015. [ bib | .pdf ]
[Imbach 12] Rémi Imbach, Pascal Mathis & Pascal Schreck. Une approche par décomposition et reparamétrisation de systèmes de contraintes géométriques. In Journées du Groupe de Travail en Modélisation Géométrique, 2012. [ bib | .pdf ]
PhD Thesis
[Imbach 13] Rémi Imbach. Résolution de contraintes géométriques en guidant une méthode homotopique par la géométrie. PhD thesis, Université de Strasbourg, 2013. [ bib | .pdf ]

Selected communications

Seminar
Sep. 2016 Certified numerical tools for computing the topology of projected curves. AriC seminar, Lyon, France [http  | pdf ]
International Conferences
June 2016 Interval tools for computing the topology of projected curves. SWIM 2016 (Summer Workshop on Interval Methods) Lyon, France [.pdf ]
Nov. 2015 Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve. MACIS 2015 (Sixth International Conference on Mathematical Aspects of Computer and Information Sciences), Berlin, Germany [.pdf ]
Nov. 2013 Leading a continuation method by geometry for solving geometric constraints. GD/SPM 13 (Geometric and Physical Modeling), Denver, Colorado, USA [.pdf ]
Sept. 2011 Tracking method for reparametrized geometrical constraint systems. SYNASC 11 (Symposium on Symbolic and Numeric Algorithms for Scientific Computing), Timisoara, Roumanie
National Workshops
Nov. 2015 A Certified Numerical Approach to Describe the Topology of Projected Curves. Journées de l'Association Française d'Informatique Graphique 2015, Lyon [.pdf ]
Oct. 2015 Numeric certified algorithm for computing the topology of projections of real spatial curves. Journées Informatique et Géométrie 2015, ESIEE Parie, Marne-la-Vallée [.pdf ]
Jun. 2014 Une méthode de continuation guidée par la géométrie pour résoudre des systémes de contraintes géométriques. INRIA Nancy - Grand Est, France [.pdf ]
Mar. 2012 Une approche par décomposition et reparamétrisation de systèmes de contraintes géométriques. Journées du Groupe de Travail en Modélisation Géométrique, Strasbourg, France
PHD Defense
Oct. 2013 Résolution de contraintes géométriques en guidant une méthode homotopique par la géométrie. Université de Strasbourg, France [.pdf ]
Some of the documents proposed here contains animations that can only be, as far as I know, visualized with latest versions of a well-known pdf viewer. You can contact me to obtain a version without animations.

Bibliography generated by bibtex2html 1.98.