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)Contributors
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.
@inproceedings{berthomieu,
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},
PUBLISHER = {{ACM}},
YEAR = {2021},
MONTH = Jul,
DOI = {10.1145/3452143.3465545},
PDF = {https://hal.sorbonne-universite.fr/hal-03191666v2/file/main.pdf},
HAL_ID = {hal-03191666},
HAL_VERSION = {v2},
}
Acknowledgements
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
- Forschungsinitiative Rheinland-Pfalz