Jérémy Berthomieu

Position

Assistant Professor

Project-team
Sorbonne Universités, UPMC Univ Paris 06, CNRS, INRIA
Laboratoire d'Informatique de Paris 6 (LIP6), Équipe PolSys
Address

Laboratoire d'Informatique de Paris 6 (LIP6)

Université Pierre-et-Marie-Curie

Boîte Courrier 169

4 place Jussieu

75252 Paris Cedex 05

France

Hallway 26-00
Office 328
Telephone +33 (0)1-44-27-88-35
Email jeremy.berthomieu ‘at' lip6.fr

Presentation

I am an assistant professor (maître de conférences) in the project-team PolSys of the Laboratoire d'Informatique de Paris 6 (LIP6).

My Ph.D. thesis was defended on December 6th, 2011. It was advised by Marc Giusti and Grégoire Lecerf at the Laboratoire d'Informatique de l'École polytechnique (LIX).

My research domain is computer algebra and more precisely, I am mainly interested in algebraic systems resolution. As solving such systems is hard, I focus on the different methods allowing a simplification on the input system and their implementations. My thesis's title is Contributions to algebraic system solving: reduction, localization, singularities handling; implementations. It can be downloaded here.

Curriculum vitæ

A printable version of my Résumé is avalaible.

Publications

2016

J. Berthomieu and J.-Ch. Faugère. Guessing Linear Recurrence Relations of Sequence Tuples and P-recursive Sequences with Linear Algebra. Accepted for publication in Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation, ISSAC '16, Waterloo, ON, Canada, 2016. [ bib | HAL | DOI ]

J. Berthomieu, B. Boyer, and J.-Ch. Faugère. Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences. Extended version, accepted for publication in the ISSAC '15 Special Issue of J. Symbolic Comput., 2016. [ bib | HAL ]

2015

J. Berthomieu, B. Boyer, and J.-Ch. Faugère. Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences. In Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, ISSAC '15, pages 61–68, Bath, United Kingdom, 2015. [ bib | HAL | DOI ]

J. Berthomieu, J.-Ch. Faugère, and L. Perret. Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials. J. Complexity, 31(4):590–616, 2015. [ bib | HAL | DOI ]

2013

J. Berthomieu, G. Lecerf, and G. Quintin. Polynomial root finding over local rings and application to error correcting codes. Appl. Algebra Engrg. Comm. Comput., 24(6), 413–443, 2013. [ bib | HAL | DOI ]

J. Berthomieu. Decomposition of multihomogeneous polynomials: minimal number of variables. Manuscript, 2013. [ bib | HAL ]

2012

J. Berthomieu and R. Lebreton. Relaxed p-adic Hensel Lifting for Algebraic Systems. In Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, pages 59–66, Grenoble, France, 2012. [ bib | HAL | DOI ]

J. Berthomieu and G. Lecerf. Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations. Math. Comp., 81(279):1799–1821, 2012. [ bib | HAL | DOI ]

J. Berthomieu and L. M. Pardo. Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian. J. Complexity, 28(3):388–421, 2012. [ bib | HAL | DOI ]

2011

J. Berthomieu. Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations. PhD thesis, École polytechnique, 2011. [ bib | TEL ]

J. Berthomieu, J. van der Hoeven, and G. Lecerf. Relaxed algorithms for p-adic numbers. J. Théor. Nombres Bordeaux, 23(3):541–577, 2011. [ bib | HAL | DOI ]

J. van der Hoeven, G. Lecerf, B. Mourrain, P. Trébuchet, J. Berthomieu, D. N. Diatta, and A. Manzaflaris. Mathemagix, the quest of modularity and efficiency for symbolic and certified numeric computation, ACM Commun. Comput. Algebra, 45(3):186–188, 2011. In Section "ISSAC 2011 Software Demonstrations", edited by M. Stillman, pages 166–188. [ bib | PDF | DOI ]

2010

J. Berthomieu, P. Hivert, and H. Mourtada. Computing Hironaka's invariants: Ridge and Directrix. In Arithmetic, Geometry, Cryptography and Coding Theory 2009, volume 521 of Contemp. Math., pages 9–20. Amer. Math. Soc., Providence, RI, 2010. [ bib | HAL | DOI ]

Teaching / Enseignement

Printemps 2017 1 CM et 1 TD de Fondement de l'Algorithmique Algébrique (4I902) en M1 d'Informatique (48 heures, 58 heures équivalent-TD, Responsable).
1 TD d'Introduction à la Sécurité (4I904) en M1 d'Informatique (20 heures).
1 TD de Réprésentations et Méthodes Numériques (2I011) en L2 (38,5 heures).
Automne 2016

1 CM et 1 TD de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (4I901) en M1 d'Informatique (30 heures, 34 heures équivalent-TD).

1 TD d'Initiation à l'Algorithmique (2I003) en L2 (51 heures).
1 Encadrement de Projet PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (10 heures).
Printemps 2016 1 CM et 1 TD de Fondement de l'Algorithmique Algébrique (4I902) en M1 d'Informatique (60 heures, 70 heures équivalent-TD, Responsable).
1 TD d'Introduction à la Sécurité (4I904) en M1 d'Informatique (20 heures).
1 Encadrement et Jury de Projet SFPN (4I906) en M1 d'Informatique (8 heures).
1 TD de Réprésentations et Méthodes Numériques (2I011) en L2 (40,25 heures, 41,125 heures équivalent-TD).
Automne 2015

1 CM et 1 TD de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (4I901) en M1 d'Informatique (48 heures, 52 heures équivalent-TD).

1 CM et 1 TD d'Algorithmique Numérique (3I028) en L3 d'Informatique – Mathématiques (5,25 heures, 6,125 heures équivalent-TD).
2 Encadrements de Projet PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (20 heures).
Printemps 2015 1 CM et 1 TD de Fondement de l'Algorithmique Algébrique (4I902) en M1 d'Informatique (60 heures, 70 heures équivalent-TD, Responsable).
1 Jury de Projet SFPN (4I906) en M1 d'Informatique (2 heures).
1 TD d'Introduction à la Sécurité (4I904) en M1 d'Informatique (20 heures).
1 TD de Réprésentations et Méthodes Numériques (2I011) en L2 (38,5 heures).
Automne 2014

1 CM et 1 TD de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (4I901) en M1 d'Informatique (48 heures, 54 heures équivalent-TD).

1 Encadrement et Jury de Projet PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (10 heures).
Printemps 2014 1 CM et 1 TD d'Algèbre linéaire et applications (MI078) en M1 d'Informatique (30 heures, 35 heures équivalent-TD).
1 TD d'Introduction à la Sécurité (MI076) en M1 d'Informatique (20 heures).
1 Encadrement de Projet STL (MI042) en M1 d'Informatique (6 heures).
1 TD de Calcul scientifique (LI217) en L2 (40 heures).
Automne 2013

1 CM et 1 TD de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (MI077) en M1 d'Informatique (30 heures, 35 heures équivalent-TD).

1 TD d'Introduction à la programmation impérative en C (LI115) en L1 de Mathématiques, Informatique, Mécanique, Électronique et Physique (42 heures).

Printemps 2013 1 CM et 1 TD d'Algèbre linéaire et applications (MI078) en M1 d'Informatique (30 heures, 35 heures équivalent-TD).
1 TD de Calcul scientifique (LI217) en L2 (40 heures).
1 TD d'Algorithmique élémentaire (LI216) en L2 (40 heures).
Automne 2012

1 CM et 1 TD de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (MI077) en M1 d'Informatique (12 heures, 14 heures équivalent-TD).

1 TD d'Introduction à la programmation impérative en C (LI115) en L1 de Mathématiques, Informatique, Mécanique, Électronique et Physique (42 heures).

Printemps 2012

1 TD de Groupes et Géométrie (MA610) en L3 de Mathématiques et Mathématiques – Informatique (36 heures).

2 TD de Mathématiques Générales 2 (MA202) en L1 de Physique (72 heures).

Automne 2011

1 TD d'Algèbre Commutative et Effectivité (MA910) en M2 de Mathématiques – Informatique (10,5 heures).

1 TD de Calcul Différentiel (MA522) en L3 de Mathématiques, Mathématiques – Physique et Mathématiques – Informatique (36 heures).

1 TD de Mathématiques Assistées par Ordinateur (MA350) en L2 de Mathématiques et Mathématiques – Informatique (36 heures).

Printemps 2011

1 TD de Géométrie Affine (MA412) en L2 de Mathématiques (36 heures).

1 TD de Mathématiques Générales 2 (MA202) en L1 de Physique (36 heures).

Automne 2009

1 CTD de Mathématiques Générales 1 (MA100) en L1 de Physique (54 heures, 63 heures équivalent-TD).

Software
Talks

Conferences

22 Jul. 2016

Guessing Linear Recurrence Relations of Sequence Tuples and P-recursive Sequences with Linear Algebra, ISSAC 2016, Waterloo, Ontario, Canada.

5 Nov. 2015

Algèbre linéaire pour le calcul de bases de Gröbner de suites multidimensionnelles récurrentes linéaires, Journées Nationales de Calcul Formel 2015, Cluny, France.

23 Jul.

Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials: The Regular Case, ACA 2015, Kalamata, Greece.

6 Nov. 2014

Algorithmes en temps polynomial pour l'isomorphisme de polynômes quadratiques : le cas régulier, Journées Nationales de Calcul Formel 2014, Luminy, France.

3 Sept.

2013

p-adics in Mathemagix, Sage Days: Arithmetics over discrete valuation rings, Rennes, France.

15 May

Résolution détendue sur les entiers p-adiques des systèmes algébriques, Journées Nationales de Calcul Formel 2013, Luminy, France.

23 July 2012

Relaxed p-adic Hensel lifting for algebraic systems, ISSAC 2012, Grenoble, France.

15 Nov. 2011

Factorisation de polynômes à deux variables convexe-denses, Journées Nationales de Calcul Formel 2011, Luminy, France.

31 May

Integral geometry formulae motivated by real polynomial equation solving, MEGA 2011, Stockholm, Sweden.

3 May 2010

Arithmétique détendue pour les nombres p-adiques, Journées Nationales de Calcul Formel 2010, Luminy, France.

15 Mar.

Installation and first steps with Mathemagix, SAGA Winter School 2010, Auron, France.

Seminars and software demonstrations

4 Dec. 2013

Equivalence de polynômes et décomposition, Séminaire CalSci, Laboratoire d'Informatique de Paris 6, Université Pierre-et-Marie-Curie.

11 Oct.

Polynomial-time Algorithms for Quadratic Isomorphism of Polynomials, Séminaire PolSys, Laboratoire d'Informatique de Paris 6, Université Pierre-et-Marie-Curie.

5 Apr.

Algorithmes détendus rapides pour la remontée de Hensel p-adique et applications aux systèmes algébriques, Séminaire Géométrie de Bordeaux, Université Bordeaux 1.

8 Feb.

Smale's 17th Problem: the real case, Séminaire PolSys, Laboratoire d'Informatique de Paris 6, Université Pierre-et-Marie-Curie.

7 Jan.

Solveurs algébriques de PolSys dans le logiciel de Calcul Formel Maple, Évaluation AÉRES, Laboratoire d'Informatique de de Paris 6, Université Pierre-et-Marie-Curie.

3 July 2012

Fast Relaxed Algorithms for p-adic Hensel lifting and applications to algebraic systems, Symbolic Computation Seminar, John Radon Institute for Computational and Applied Mathematics, Johannes Kepler Universität Linz, Autriche.

4 June

Géométrie projective et solutions d'équations, Séminaire des Jeunes, Laboratoire de Mathématiques de Versailles, Université de Versailles – St-Quentin-en-Yvelines.

13 Feb.

Algorithmes détendus rapides pour la remontée de Hensel p-adique et applications aux systèmes algébriques, Séminaire Algorithms, Centre de recherche Inria Paris – Rocquencourt.

10 Feb.

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations, Séminaire Théorie des Nombres, Laboratoire de Mathématiques Nicolas Oresme, Université de Caen – Basse-Normandie.

16 Dec. 2011

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations, Séminaire Salsa, Laboratoire d'Informatique de Paris 6, Université Pierre-et-Marie-Curie.

25 Oct.

Factorisation de polynômes à deux variables convexe-denses, Séminaire Algèbre et Géométrie, Laboratoire de Mathématiques de Versailles, Université de Versailles – St-Quentin-en-Yvelines.

11 May

Integral geometry formulae motivated by real polynomial equation solving, Séminaire Max, Laboratoire d'Informatique de l'X, École polytechnique.

24 Feb.

Factorisation de polynômes à deux variables convexe-denses, Séminaire Calcul Formel, Institut de Recherche Xlim, Université de Limoges.

18 Oct. 2010

Convex-dense bivariate polynomial factorisation, Seminario On-going Research, Departamento de Matemáticas, Estadística y Computación, Universidad de Cantabria, Espagne.

29 Sept.

Factorisation de polynômes à deux variables convexe-denses, Séminaire Max, Laboratoire d'Informatique de l'X, École polytechnique.

23 Apr.

Arithmétiques détendues pour les nombres p-adiques, Séminaire Cal4doc, Laboratoire d'Informatique de l'X, École polytechnique.

18 Dec. 2009

Calcul du faîte et de la directrice, Séminaire Max, Laboratoire d'Informatique de l'X, École polytechnique.

17 Nov.

Algorithmes rapides pour la fermeture intégrale, Journée des Doctorants, Laboratoire de Mathématiques de Versailles, Université de Versailles – St-Quentin-en-Yvelines.

13 May

Polygone de Newton et Séries de Puiseux, Séminaire Cal4doc, Laboratoire d'Informatique de l'X, École polytechnique.

15 Jan.

La clôture algébrique de F¯p((X)) d'après l'article de K. Kedlaya, Séminaire Max, Laboratoire d'Informatique de l'X, École polytechnique.

16

Dec. 2008

La clôture algébrique de F¯p((X)) d'après l'article de K. Kedlaya, Séminaire Algèbre et Géométrie, Laboratoire de Mathématiques de Versailles, Université de Versailles – St-Quentin-en-Yvelines.

9 Dec.

Algorithmes de calcul de base intégrale en dimension 1, Séminaire des Jeunes, Laboratoire de Mathématiques de Versailles, Université de Versailles – St-Quentin-en-Yvelines.