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. 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 ]

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

			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.