in

Jérémy Berthomieu

Position Assistant Professor
Project-team

Sorbonne Université, CNRS, INRIA, LIP6, Équipe PolSys

Address

LIP6, Sorbonne Université

Boîte Courrier 169

4 place Jussieu

75252 Paris Cedex 05

France

Hallway 26-00
Office 319
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

Submissions

J. Berthomieu and J.-Ch. Faugère. In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: the non adaptive variants. Preprint. [ HAL ]

J. Berthomieu and J.-Ch. Faugère. A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations. Preprint, extended version. [ HAL ]

2019

J. Berthomieu and J.-Ch. Faugère. In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: The adaptive variants. Journal of Symbolic Computation. In Press. [ HAL | DOI ]

2018

J. Berthomieu and J.-Ch. Faugère. A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations. In Proceedings of the 43rd International Symposium on Symbolic and Algebraic Computation, ISSAC '18, New York, NY, USA, 2018. [ HAL | DOI ]

2017

J. Berthomieu, B. Boyer, and J.-Ch. Faugère. Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences. Journal of Symbolic Computation 83 (Supplement C), 36–67, special issue on the con-

ference ISSAC 2015: Symbolic computation and computer algebra. [ HAL | DOI ]

2016

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

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. [ 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. [ 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. [ HAL | DOI ]

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. [ 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. [ 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. [ 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. [ 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. [ 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. [ HAL | 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. [ HAL | DOI ]

Teaching / Enseignement

Période Rôle Nom de l'UE Année Heures
Automne 2020 CM, TD et Responsable Modèles de Calcul (MU4IN901) M1 à Sorbonne Université 42
TD et TP Introduction aux Systèmes d'exploitation et au Shell (LU2IN20) L2 à Sorbonne Université 38,5
Printemps 2019 CM, TD et Responsable Fondement de l'Algorithmique Algébrique (4I902 et N8-IAL) M1 à Sorbonne Université et à l'EPU 85
Encadrement Projets SFPN (4I906) M1 à Sorbonne Université 7
CM Introduction à la Crytologie (3I024) L3 à Sorbonne Université 10,5
Encadrement Projets PIMA (2I013 - PIMA) L2 à Sorbonne Université 10
Automne 2018 CM, TD et TP Modèles de Calcul (4I901) M1 à Sorbonne Université 38
CM, Algorithmique Numérique (3I028) L3 à Sorbonne Université 1,75
TD Initiation à l'Algorithmique (2I003) L2 à Sorbonne Université 33
Printemps 2018 CM, TD et Responsable Fondement de l'Algorithmique Algébrique (4I902 et N8-IAL) M1 à Sorbonne Université et à l'EPU 74
Encadrement/Jury Projets SFPN (4I906) M1 à Sorbonne Université 8
CM et Corresponsable Éléments de programmation 2 (1I002) L1 à Sorbonne Université 50
Encadrement Projets PIMA (2I013 - PIMA) L2 à Sorbonne Université 10
Automne 2017 CM, TD et TP Modèles de Calcul (4I901) M1 à l'UPMC 35
TD Initiation à l'Algorithmique (2I003) en L2 (40,5 heures). L2 à l'UPMC 40,5
Printemps 2017 CM, TD, TP et Responsable Fondement de l'Algorithmique Algébrique (4I902 et N8-IAL) M1 à l'UPMC et à l'EPU 58
TD et TP Introduction à la Sécurité (4I904) M1 à l'UPMC 20
Encadrement/Jury Projets SFPN (4I906) M1 à l'UPMC 8
TD et TP Réprésentations et Méthodes Numériques (2I011) L2 à l'UPMC 38,5
Encadrement Projets PIMA (2I013 - PIMA) L2 à l'UPMC 10
Automne 2016 Jury Stages SFPN (5I955) M2 à l'UPMC 3
CM, TD et TP Modélisation et résolutions numérique et symbolique (4I901) M1 à l'UPMC 34
TD Initiation à l'Algorithmique (2I003) en L2 (51 heures). L2 à l'UPMC 42
Printemps 2016 CM, TD, TP et Responsable Fondement de l'Algorithmique Algébrique (4I902) M1 à l'UPMC 70
TD et TP Introduction à la Sécurité (4I904) M1 à l'UPMC 20
Encadrement Projets SFPN (4I906) M1 à l'UPMC 8
TD et TP Réprésentations et Méthodes Numériques (2I011) en L2 (41,125 heures). L2 à l'UPMC 42
Encadrement Projet PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (10 heures). L2 à l'UPMC 42
Automne 2015 CM, TD et TP Modélisation et résolutions numérique et symbolique (4I901) M1 à l'UPMC 52
CM, TD et TP Algorithmique Numérique (3I028) L3 à l'UPMC 6,125
Printemps 2015 CM, TD, TP et Responsable Fondement de l'Algorithmique Algébrique (4I902) M1 à l'UPMC 70
Jury Projets SFPN (4I906) en M1 d'Informatique M1 à l'UPMC 2
TD et TP TD et TP d'Introduction à la Sécurité (4I904) M1 à l'UPMC 20
TD et TP Réprésentations et Méthodes Numériques (2I011) L2 à l'UPMC 38,5
Encadrement Projets PIMA (2I013 - PIMA) L2 à l'UPMC 20
Automne 2014 CM, TD et TP Modélisation et résolutions numérique et symbolique (4I901) M1 à l'UPMC 54
Printemps 2014 CM, TD et TP Algèbre Linéaire et Applications (MI078) M1 à l'UPMC 35
TD et TP Introduction à la Sécurité (MI076) M1 à l'UPMC 20
Encadrement Projets STL (MI042) M1 à l'UPMC 6
TD et TP Calcul scientifique (LI217) L2 à l'UPMC 40
Encadrement Projets PIMA (2I013 - PIMA) L2 à l'UPMC 10
Automne 2013 CM, TD et TP Modélisation et résolutions numérique et symbolique (MI077) M1 à l'UPMC 35
TD et TP Introduction à la programmation impérative en C (LI115) L1 à l'UPMC 42
Printemps 2013 CM, TD et TP Algèbre linéaire et applications (MI078) M1 à l'UPMC 35
TD et TP Calcul scientifique (LI217) L2 à l'UPMC 40
TD Algorithmique élémentaire (LI216) L2 à l'UPMC 40
Automne 2012 CM, TD et TP Modélisation et résolutions numérique et symbolique (MI077) M1 à l'UPMC 14
TD et TP Introduction à la programmation impérative en C (LI115) L1 à l'UPMC 42
Printemps 2012 TD Groupes et Géométrie (MA610) L3 à l'UVSQ 36
TD Mathématiques Générales 2 (MA202) L1 à l'UVSQ 72
Automne 2011 TD et TP Algèbre Commutative et Effectivité (MA910) M2 à l'UVSQ 10,5
TD Calcul Différentiel (MA522) L3 à l'UVSQ 36
TD et TP Mathématiques Assistées par Ordinateur (MA350) L2 à l'UVSQ 36
Printemps 2011 TD Géométrie Affine (MA412) L2 à l'UVSQ 36
TD Mathématiques Générales 2 (MA202) L1 à l'UVSQ 36
Automne 2009 TD Mathématiques Générales 1 (MA100) L1 à l'UVSQ 63

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.