The msolve library has been initiated in 2019 and is mainly authored by

Jérémy Berthomieu

(Sorbonne University)

Christian Eder

(TU Kaiserslautern)

Mohab Safey El Din

(Sorbonne University)


Huu Phuoc Le, Jorge Garcia Fontan (preliminary version of Maple interface), Rémi Prébet (preliminary version of Sage interface), Jocelyn Ryckeghem (preliminary version of AVX2 scalar product), and many others (see the GitHub page).

Used libraries

msolve uses the FLINT library and GMP.

Citing msolve

The paper can be downloaded here.

  TITLE = {{msolve: A Library for Solving Polynomial Systems}},
  AUTHOR = {Berthomieu, J{\'e}r{\'e}my and Eder, Christian and {Safey El Din}, Mohab},
  BOOKTITLE = {{2021 International Symposium on Symbolic and Algebraic Computation}},
  ADDRESS = {Saint Petersburg, Russia},
  SERIES = {46th International Symposium on Symbolic and Algebraic Computation},
  PAGES     = {51--58},
  YEAR = {2021},
  MONTH = Jul,
  DOI = {10.1145/3452143.3465545},
  PDF = {},
  HAL_ID = {hal-03191666},
  HAL_VERSION = {v2},


The development of msolve has been or is supported by the following grants: