@inproceedings{Berthomieu_2021,
    doi = {10.1145/3452143.3465545},
    url = {https://doi.org/10.1145%2F3452143.3465545},
    year = {2021},
    month = {jul},
    publisher = {{ACM}},
    author = {J{\'{e}}r{\'{e}}my Berthomieu and Christian Eder and Mohab Safey El Din},
    title = {msolve},
    booktitle = {Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation}
}

@inproceedings{Berthomieu_2021, doi = {10.1145/3452143.3465545}, url = {https://doi.org/10.1145%2F3452143.3465545}, year = {2021}, month = {jul}, publisher = {{ACM}}, author = {J{\'{e}}r{\'{e}}my Berthomieu and Christian Eder and Mohab Safey El Din}, title = {msolve}, booktitle = {Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation} }