Assistant Professor (HDR)
Jérémy Berthomieu
Computer Algebra, polynomial systems, exact computation and algorithms.
PolSys · LIP6 · Sorbonne Université · CNRS
News
All news →Multiword matrix multiplication over large finite fields in floating-point arithmetic.
msolve v.0.11.0
GT-CF (Groupe de Travail - Calcul Formel) gathers all computer algebra researchers in France.
Sorbonne Université
ICMS 2026: International Congress on Mathematical Software at
Wilfrid Laurier University and University of Waterloo
msolve v.0.10.1
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.