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

Jérémy Berthomieu

(Sorbonne Université)

Christian Eder

(Rheinland-Pfälzische Technische Universität Kaiserslautern–Landau)

Vincent Neiger

(Sorbonne Université)

Mohab Safey El Din

(Sorbonne Université)


Huu Phuoc Le, Jorge García Fontán (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: