{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T03:20:03Z","timestamp":1778124003176,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Forschungsinitiative Rheinland-Pfalz"},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-CE48-0015 ECARP,ANR-18-CE33-0011 Sesame,ANR-19-CE40-0018 De Rerum Natura"],"award-info":[{"award-number":["ANR-19-CE48-0015 ECARP,ANR-18-CE33-0011 Sesame,ANR-19-CE40-0018 De Rerum Natura"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Union?s Horizon 2020 research and innovation programme under the Marie Sk?odowska- Curie","award":["N. 813211 (POEMA)"],"award-info":[{"award-number":["N. 813211 (POEMA)"]}]},{"name":"PGMO","award":["CAMiSAdo"],"award-info":[{"award-number":["CAMiSAdo"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465545","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"51-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["msolve"],"prefix":"10.1145","author":[{"given":"J\u00e9r\u00e9my","family":"Berthomieu","sequence":"first","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France"}]},{"given":"Christian","family":"Eder","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644288.2644291"},{"key":"e_1_3_2_1_2_1","volume-title":"The M4RI Library -- V. 20200125. The M4RI Team","author":"Albrecht M.","year":"2021","unstructured":"M. Albrecht and G. Bard. The M4RI Library -- V. 20200125. The M4RI Team, 2021. http:\/\/m4ri.sagemath.org."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/246346.246355"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00140-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33099-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01389151"},{"key":"e_1_3_2_1_8_1","volume-title":"Safey El Din. Computing colon ideals through sequences","author":"Berthomieu J.","year":"2021","unstructured":"J. Berthomieu, C. Eder, and M. Safey El Din. Computing colon ideals through sequences, 2021. https:\/\/www-polsys.lip6.fr\/~berthomieu\/colon\/colon.pdf."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42432-3_12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0125"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-6774(80)90013-9"},{"key":"e_1_3_2_1_13_1","volume-title":"Criterion for Detecting Unnecessary Reductions in the Construction of Gr\u00f6bner Bases. In EUROSAM '79, An International Symposium on Symbolic and Algebraic Manipulation","volume":"72","author":"Buchberger B.","year":"1979","unstructured":"B. Buchberger. A Criterion for Detecting Unnecessary Reductions in the Construction of Gr\u00f6bner Bases. In EUROSAM '79, An International Symposium on Symbolic and Algebraic Manipulation, volume 72 of Lecture Notes in Computer Science, pages 3--21. Springer, 1979."},{"key":"e_1_3_2_1_14_1","article-title":"An Algorithm for Finding the Basis Elements of the Residue Class Ring of Zero Dimensional Polynomial Ideal (English translation of [12])","author":"Buchberger B.","year":"2006","unstructured":"B. Buchberger. An Algorithm for Finding the Basis Elements of the Residue Class Ring of Zero Dimensional Polynomial Ideal (English translation of [12]). Journal of Symbolic Computation, 41(3--4):475--511, 2006.","journal-title":"Journal of Symbolic Computation, 41(3--4):475--511"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/800205.806346"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2821082"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"D. Eisenbud. Commutative Algebra volume 150 of Graduate Texts in Mathematics. Springer-Verlag 1995.","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_17"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1051"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.025"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258745"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80048-8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_25_1","volume-title":"GMP group","year":"2021","unstructured":"The. GMP group. GMP: The GNU Multiple Precision Arithmetic Library, 2021. https:\/\/gmplib.org."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_18"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2019.07.010"},{"key":"e_1_3_2_1_28_1","first-page":"303","volume-title":"Symp. on Symb. and Alg. Comp., ISSAC '16","author":"Kobel A.","year":"2016","unstructured":"A. Kobel, F. Rouillier, and M. Sagraloff. Computing real roots of real polynomials... and now for real! In Proceedings of the Int. Symp. on Symb. and Alg. Comp., ISSAC '16, pages 303--310, New York, NY, USA, 2016. ACM."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088261.1088267"},{"key":"e_1_3_2_1_30_1","volume-title":"Grundz\u00fcge einer arithmetischen Theorie der algebraische Gr\u00f6ssen. Journal f\u00fcr die reine und angewandte Mathematik","author":"Kronecker L.","year":"1882","unstructured":"L. Kronecker. Grundz\u00fcge einer arithmetischen Theorie der algebraische Gr\u00f6ssen. Journal f\u00fcr die reine und angewandte Mathematik, 1882(92):1--122, 1882."},{"key":"e_1_3_2_1_31_1","volume-title":"Waterloo","year":"2019","unstructured":"Maplesoft. Maple 2019 -- a division of Waterloo Maple Inc., Waterloo, Ontario, 2019."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3115936.3115948"},{"key":"e_1_3_2_1_33_1","volume-title":"version 1.5.0","author":"Parisse B.","year":"2018","unstructured":"B. Parisse and R. De Graeve. Giac\/Xcas, version 1.5.0, 2018. http:\/\/www-fourier.univ-grenoble-alpes.fr\/~parisse\/giac.html."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.03.004"},{"key":"e_1_3_2_1_36_1","unstructured":"P.-J. Spaenlehauer. tinygb 2021. https:\/\/gitlab.inria.fr\/pspaenl\/tinygb."},{"key":"e_1_3_2_1_37_1","unstructured":"C. Traverso. Gr\u00f6bner trace algorithms. In P. M. Gianni editor ISSAC'88 Rome Italy July 4-8 1988 Proceedings volume 358 of Lecture Notes in Computer Science pages 125--138. Springer 1988."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3015306.3015317"},{"key":"e_1_3_2_1_39_1","first-page":"1","volume-title":"M\u00e9moires de la Soci\u00e9t\u00e9 Royale des Sciences, de L'Agriculture et des Arts, de Lille","author":"Vincent A.","year":"1834","unstructured":"A. Vincent. M\u00e9moire sur la r\u00e9solution des \u00e9quations num\u00e9riques. M\u00e9moires de la Soci\u00e9t\u00e9 Royale des Sciences, de L'Agriculture et des Arts, de Lille, pages 1--34, 1834."}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","location":"Virtual Event Russian Federation","acronym":"ISSAC '21","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465545","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:08Z","timestamp":1750193288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465545"}},"subtitle":["A Library for Solving Polynomial Systems"],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":38,"alternative-id":["10.1145\/3452143.3465545","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465545","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]},"assertion":[{"value":"2021-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}