Jérémy Berthomieu

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.

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. In-depth comparison of the Berlekamp–Massey–Sakata and the Scalar-FGLM algorithms: the adaptive variants. Preprint. [ HAL ]
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 ]

Printemps	2018	CM et TD de Fondement de l'Algorithmique Algébrique (4I902) en M1 d'Informatique (74 heures, Responsable).
		Co-encadrement et Jury de Projets SFPN (4I906) en M1 d'Informatique (8 heures).
		CM de Éléments de programmation 2 (1I002) en L1 (50 heures, Corresponsable).
Automne	2017	CM, TD et TP de Modèles de Calcul (4I901) en M1 d'Informatique (35 heures).
		TD d'Initiation à l'Algorithmique (2I003) en L2 (40,5 heures).
		Encadrement de Projet PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (10 heures).
Printemps	2017	CM, TD et TP de Fondement de l'Algorithmique Algébrique (4I902) en M1 d'Informatique (58 heures, Responsable).
		TD et TP d'Introduction à la Sécurité (4I904) en M1 d'Informatique (20 heures).
		Co-encadrement et Jury de Projets SFPN (4I906) en M1 d'Informatique (8 heures).
		TD et TP de Réprésentations et Méthodes Numériques (2I011) en L2 (38,5 heures).
Automne	2016	Jury de Stages SFPN (5I955) en M2 d'Informatique (3 heures).
		CM, TD et TP de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (4I901) en M1 d'Informatique (34 heures).
		TD d'Initiation à l'Algorithmique (2I003) en L2 (51 heures).
		Encadrement de Projet PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (10 heures).
Printemps	2016	CM, TD et TP de Fondement de l'Algorithmique Algébrique (4I902) en M1 d'Informatique (70 heures, Responsable).
		TD et TP d'Introduction à la Sécurité (4I904) en M1 d'Informatique (20 heures).
		Encadrement et Jury de Projets SFPN (4I906) en M1 d'Informatique (8 heures).
		TD et TP de Réprésentations et Méthodes Numériques (2I011) en L2 (41,125 heures).
Automne	2015	CM, TD et TP de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (4I901) en M1 d'Informatique (52 heures).
		CM, TD et TP d'Algorithmique Numérique (3I028) en L3 d'Informatique – Mathématiques (6,125 heures).
		Encadrement de Projets PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (20 heures).
Printemps	2015	CM, TD et TP de Fondement de l'Algorithmique Algébrique (4I902) en M1 d'Informatique (70 heures, Responsable).
		Jury de Projets SFPN (4I906) en M1 d'Informatique (2 heures).
		TD et TP d'Introduction à la Sécurité (4I904) en M1 d'Informatique (20 heures).
		TD et TP de Réprésentations et Méthodes Numériques (2I011) en L2 (38,5 heures).
Automne	2014	CM, TD et TP de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (4I901) en M1 d'Informatique (54 heures).
		Encadrement et Jury de Projets PIMA (2I013 - PIMA) en L2 d'Informatique – Mathématiques (10 heures).
Printemps	2014	CM, TD et TP d'Algèbre linéaire et applications (MI078) en M1 d'Informatique (35 heures).
		TD et TP d'Introduction à la Sécurité (MI076) en M1 d'Informatique (20 heures).
		Encadrement de Projet STL (MI042) en M1 d'Informatique (6 heures).
		TD et TP de Calcul scientifique (LI217) en L2 (40 heures).
Automne	2013	CM, TD et TP de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (MI077) en M1 d'Informatique (35 heures).
		TD et TP d'Introduction à la programmation impérative en C (LI115) en L1 de Mathématiques, Informatique, Mécanique, Électronique et Physique (42 heures).
Printemps	2013	CM, TD et TP d'Algèbre linéaire et applications (MI078) en M1 d'Informatique (35 heures).
		TD et TP de Calcul scientifique (LI217) en L2 (40 heures).
		TD d'Algorithmique élémentaire (LI216) en L2 (40 heures).
Automne	2012	CM, TD et TP de Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et MATLAB (MI077) en M1 d'Informatique (14 heures).
		TD et TP d'Introduction à la programmation impérative en C (LI115) en L1 de Mathématiques, Informatique, Mécanique, Électronique et Physique (42 heures).
Printemps	2012	TD de Groupes et Géométrie (MA610) en L3 de Mathématiques et Mathématiques – Informatique (36 heures).
		TD de Mathématiques Générales 2 (MA202) en L1 de Physique (72 heures).
Automne	2011	TD-TP d'Algèbre Commutative et Effectivité (MA910) en M2 de Mathématiques – Informatique (10,5 heures).
		TD de Calcul Différentiel (MA522) en L3 de Mathématiques, Mathématiques – Physique et Mathématiques – Informatique (36 heures).
		TD-TP de Mathématiques Assistées par Ordinateur (MA350) en L2 de Mathématiques et Mathématiques – Informatique (36 heures).
Printemps	2011	TD de Géométrie Affine (MA412) en L2 de Mathématiques (36 heures).
		TD de Mathématiques Générales 2 (MA202) en L1 de Physique (36 heures).
Automne	2009	CTD de Mathématiques Générales 1 (MA100) en L1 de Physique (63 heures).

			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.