Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation? - Joris van der Hoeven; Grégoire Lecerf; Bernard Mourrain; Philippe Trébuchet; Jérémy Berthomieu; Daouda Niang Diatta; Angelos Mantzaflaris (ACM Commun. Comput. Algebra, 2011)

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations. (Contributions to algebraic system solving: reduction, localization, singularities handling; implementations). - Jérémy Berthomieu (2011)

Relaxed p-adic Hensel lifting for algebraic systems. - Jérémy Berthomieu; Romain Lebreton (ISSAC, 2012)

Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian. - Jérémy Berthomieu; Luis Miguel Pardo (J. Complex., 2012)

Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations. - Jérémy Berthomieu; Grégoire Lecerf (Math. Comput., 2012)

Polynomial root finding over local rings and application to error correcting codes. - Jérémy Berthomieu; Grégoire Lecerf; Guillaume Quintin (Appl. Algebra Eng. Commun. Comput., 2013)

Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials. - Jérémy Berthomieu; Jean-Charles Faugère; Ludovic Perret (CoRR, 2013)

Polynomial-time algorithms for quadratic isomorphism of polynomials: The regular case. - Jérémy Berthomieu; Jean-Charles Faugère; Ludovic Perret (J. Complex., 2015)

Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra. - Jérémy Berthomieu; Jean-Charles Faugère (ISSAC, 2016)

In-depth comparison of the Berlekamp - Massey - Sakata and the Scalar-FGLM algorithms: the non adaptive variants. - Jérémy Berthomieu; Jean-Charles Faugère (CoRR, 2017)

Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences. - Jérémy Berthomieu; Brice Boyer; Jean-Charles Faugère (J. Symb. Comput., 2017)

A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations. - Jérémy Berthomieu; Jean-Charles Faugère (ISSAC, 2018)

Towards fast one-block quantifier elimination through generalised critical values. - Jérémy Berthomieu; Andrew Ferguson; Mohab Safey El Din (ACM Commun. Comput. Algebra, 2020)

Guessing Gr{ö}bner Bases of Structured Ideals of Relations of Sequences. - Jérémy Berthomieu; Mohab Safey El Din (CoRR, 2020)

In-depth comparison of the Berlekamp-Massey-Sakata and the Scalar-FGLM algorithms: The adaptive variants. - Jérémy Berthomieu; Jean-Charles Faugère (J. Symb. Comput., 2020)

msolve: A Library for Solving Polynomial Systems. - Jérémy Berthomieu; Christian Eder; Mohab Safey El Din (ISSAC, 2021)

On the computation of asymptotic critical values of polynomial maps and applications. - Jérémy Berthomieu; Andrew Ferguson; Mohab Safey El Din (CoRR, 2021)

Faster Change of Order Algorithm for Gröbner Bases under Shape and Stability Assumptions. - Jérémy Berthomieu; Vincent Neiger; Mohab Safey El Din (ISSAC, 2022)

New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon). - Jérémy Berthomieu; Christian Eder; Mohab Safey El Din (CoRR, 2022)

Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems. - Alin Bostan; Jérémy Berthomieu; Andrew Ferguson; Mohab Safey El Din (CoRR, 2022)

Guessing Gröbner bases of structured ideals of relations of sequences. - Jérémy Berthomieu; Mohab Safey El Din (J. Symb. Comput., 2022)

Polynomial-division-based algorithms for computing linear recurrence relations. - Jérémy Berthomieu; Jean-Charles Faugère (J. Symb. Comput., 2022)

Contributions to polynomial system solving: Recurrences and Gröbner bases. - Jérémy Berthomieu (2023)

Modular Matrix Multiplication on GPU for Polynomial System Solving. - Jérémy Berthomieu; Stef Graillat; Dimitri Lesnoff; Théo Mary (ACM Commun. Comput. Algebra, 2023)

Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting. - Jérémy Berthomieu; Rafael Mohr (ISSAC, 2024)

Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting. - Jérémy Berthomieu; Rafael Mohr (CoRR, 2024)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs. - Daniela Kaufmann; Jérémy Berthomieu (TACAS (1), 2025)