Jérémy Berthomieu

36 papers B 8Journal 25Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computing submatrices of the Hermite normal form of a structured polynomial matrix.
CoRR
Jérémy Berthomieu, Vincent Neiger, Hugo Passe
2026 J jnl
Multiword matrix multiplication over large finite fields in floating-point arithmetic.
CoRR
Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Théo Mary
2025 — conf
Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs.
TACAS (1)
Daniela Kaufmann, Jérémy Berthomieu
2025 B conf
Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences.
ISSAC
Jérémy Berthomieu, Romain Lebreton, Kevin Tran
2024 B conf
Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting.
ISSAC
Jérémy Berthomieu, Rafael Mohr
2024 J jnl
Computing Generic Fibres of Polynomial Ideals with FGLM and Hensel Lifting.
CoRR
Jérémy Berthomieu, Rafael Mohr
2024 J jnl
Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs.
CoRR
Daniela Kaufmann, Jérémy Berthomieu
2023 — book
Contributions to polynomial system solving: Recurrences and Gröbner bases.
Jérémy Berthomieu
2023 J jnl
Modular Matrix Multiplication on GPU for Polynomial System Solving.
ACM Commun. Comput. Algebra
Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Théo Mary
2022 B conf
Faster Change of Order Algorithm for Gröbner Bases under Shape and Stability Assumptions.
ISSAC
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
2022 J jnl
Faster change of order algorithm for Gröbner bases under shape and stability assumptions.
CoRR
Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din
2022 J jnl
Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems.
CoRR
Alin Bostan, Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
2022 J jnl
Guessing Gröbner bases of structured ideals of relations of sequences.
J. Symb. Comput.
Jérémy Berthomieu, Mohab Safey El Din
2022 J jnl
New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon).
CoRR
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
2022 J jnl
Polynomial-division-based algorithms for computing linear recurrence relations.
J. Symb. Comput.
Jérémy Berthomieu, Jean-Charles Faugère
2021 J jnl
On the computation of asymptotic critical values of polynomial maps and applications.
CoRR
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
2021 J jnl
Polynomial-Division-Based Algorithms for Computing Linear Recurrence Relations.
CoRR
Jérémy Berthomieu, Jean-Charles Faugère
2021 B conf
msolve: A Library for Solving Polynomial Systems.
ISSAC
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
2021 J jnl
msolve: A Library for Solving Polynomial Systems.
CoRR
Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
2020 J jnl
Guessing Gr{ö}bner Bases of Structured Ideals of Relations of Sequences.
CoRR
Jérémy Berthomieu, Mohab Safey El Din
2020 J jnl
In-depth comparison of the Berlekamp-Massey-Sakata and the Scalar-FGLM algorithms: The adaptive variants.
J. Symb. Comput.
Jérémy Berthomieu, Jean-Charles Faugère
2020 J jnl
Towards fast one-block quantifier elimination through generalised critical values.
ACM Commun. Comput. Algebra
Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din
2018 B conf
A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations.
ISSAC
Jérémy Berthomieu, Jean-Charles Faugère
2018 J jnl
In-depth comparison of the Berlekamp-Massey-Sakata and the Scalar-FGLM algorithms: the adaptive variants.
CoRR
Jérémy Berthomieu, Jean-Charles Faugère
2017 J jnl
In-depth comparison of the Berlekamp - Massey - Sakata and the Scalar-FGLM algorithms: the non adaptive variants.
CoRR
Jérémy Berthomieu, Jean-Charles Faugère
2017 J jnl
Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences.
J. Symb. Comput.
Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère
2016 B conf
Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra.
ISSAC
Jérémy Berthomieu, Jean-Charles Faugère
2015 B conf
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences.
ISSAC
Jérémy Berthomieu, Brice Boyer, Jean-Charles Faugère
2015 J jnl
Polynomial-time algorithms for quadratic isomorphism of polynomials: The regular case.
J. Complex.
Jérémy Berthomieu, Jean-Charles Faugère, Ludovic Perret
2013 J jnl
Polynomial root finding over local rings and application to error correcting codes.
Appl. Algebra Eng. Commun. Comput.
Jérémy Berthomieu, Grégoire Lecerf, Guillaume Quintin
2013 J jnl
Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials.
CoRR
Jérémy Berthomieu, Jean-Charles Faugère, Ludovic Perret
2012 J jnl
Reduction of bivariate polynomials from convex-dense to dense, with application to factorizations.
Math. Comput.
Jérémy Berthomieu, Grégoire Lecerf
2012 B conf
Relaxed p-adic Hensel lifting for algebraic systems.
ISSAC
Jérémy Berthomieu, Romain Lebreton
2012 J jnl
Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian.
J. Complex.
Jérémy Berthomieu, Luis Miguel Pardo
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 J jnl
Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
ACM Commun. Comput. Algebra
Joris van der Hoeven, Grégoire Lecerf, Bernard Mourrain, Philippe Trébuchet, Jérémy Berthomieu, Daouda Niang Diatta, Angelos Mantzaflaris