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 (Maple interface), Rémi Prébet (Sage interface)

Citing msolve

  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 paper can be downloaded here.


The development of msolve has been or is supported by the following grants:
  • AFOSR grant no. FA8655-20-1-7029
  • ANR-19-CE48-0015
  • ANR-19-CE40-0018