News
News
2026
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.
2025
GT-CF (Groupe de Travail - Calcul Formel) gathers all computer algebra 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