Assistant Professor (HDR)
Jérémy Berthomieu
Computer Algebra, polynomial systems, exact computation and algorithms.
PolSys · LIP6 · Sorbonne Université · CNRS
News
More →Sorbonne Université
msolve v.0.10.1
ICMS 2026: International Congress on Mathematical Software at
Wilfrid Laurier University and University of Waterloo
msolve v.0.10.0
Computing submatrices of the Hermite normal form of a structured polynomial matrix.
Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I.
msolve v.0.9.5
Computing submatrices of the Hermite normal form of a structured polynomial matrix.
GT-CF (Groupe de Travail - Calcul Formel) gathers all computer algbera researchers in France.
msolve v.0.9.0
msolve v.0.8.0
Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences.
Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences