{"id":"https://openalex.org/W3141384256","doi":"https://doi.org/10.1145/3452143.3465545","title":"msolve","display_name":"msolve","publication_year":2021,"publication_date":"2021-07-13","ids":{"openalex":"https://openalex.org/W3141384256","doi":"https://doi.org/10.1145/3452143.3465545","mag":"3141384256"},"language":"en","primary_location":{"id":"doi:10.1145/3452143.3465545","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452143.3465545","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2104.03572","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008623865","display_name":"J\u00e9r\u00e9my Berthomieu","orcid":"https://orcid.org/0000-0002-9011-2211"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"J\u00e9r\u00e9my Berthomieu","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I204730241","https://openalex.org/I1294671590","https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027815561","display_name":"Christian Eder","orcid":"https://orcid.org/0000-0002-8814-8493"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Eder","raw_affiliation_strings":["Technische Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany","Fachbereich Mathematik [Kaiserslautern] (Faculty of Mathematics P.O. Box 3049 D-67653 Kaiserslautern - Allemagne)"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Fachbereich Mathematik [Kaiserslautern] (Faculty of Mathematics P.O. Box 3049 D-67653 Kaiserslautern - Allemagne)","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048254079","display_name":"Mohab Safey El Din","orcid":"https://orcid.org/0000-0001-9463-1257"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mohab Safey El Din","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I204730241","https://openalex.org/I1294671590","https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008623865"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I39804081","https://openalex.org/I4210159731"],"apc_list":null,"apc_paid":null,"fwci":3.3311,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.92984228,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9779000282287598,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.7118232846260071},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.634677529335022},{"id":"https://openalex.org/keywords/lexicographical-order","display_name":"Lexicographical order","score":0.622024655342102},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5935577154159546},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5216860771179199},{"id":"https://openalex.org/keywords/gr\u00f6bner-basis","display_name":"Gr\u00f6bner basis","score":0.5200621485710144},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.4906059801578522},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48693740367889404},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4463551938533783},{"id":"https://openalex.org/keywords/linear-algebra","display_name":"Linear algebra","score":0.4431454837322235},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.43835923075675964},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29578086733818054},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2930590510368347},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.13187003135681152}],"concepts":[{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.7118232846260071},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.634677529335022},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.622024655342102},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5935577154159546},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5216860771179199},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.5200621485710144},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.4906059801578522},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48693740367889404},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4463551938533783},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.4431454837322235},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.43835923075675964},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29578086733818054},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2930590510368347},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.13187003135681152},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3452143.3465545","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452143.3465545","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2104.03572","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.03572","pdf_url":"https://arxiv.org/pdf/2104.03572","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-03191666v2","is_oa":true,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-03191666","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2021 International Symposium on Symbolic and Algebraic Computation","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2104.03572","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.03572","pdf_url":"https://arxiv.org/pdf/2104.03572","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G130760658","display_name":null,"funder_award_id":"ANR-18-CE33-0011","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G1974542962","display_name":null,"funder_award_id":"Sk\u0142odowska","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3056411117","display_name":null,"funder_award_id":"EOARD","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G4110391279","display_name":null,"funder_award_id":"project,","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4294028455","display_name":null,"funder_award_id":"ANR-19-CE48-0015","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5836684335","display_name":null,"funder_award_id":"ANR-19-CE48-0015 ECARP,ANR-18-CE33-0011 Sesame,ANR-19-CE40-0018 De Rerum Natura","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6876561401","display_name":null,"funder_award_id":"ANR-18","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7001502250","display_name":"Polynomial Optimization, Efficiency through Moments and Algebra","funder_award_id":"813211","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7338534804","display_name":null,"funder_award_id":"813211","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7814125300","display_name":null,"funder_award_id":"ANR-19-CE40-0018","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8136746263","display_name":null,"funder_award_id":"FA8665-20-1-7029","funder_id":"https://openalex.org/F4320338503","funder_display_name":"European Office of Aerospace Research and Development"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318455765","display_name":null,"funder_award_id":"ANR-19","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G981429978","display_name":null,"funder_award_id":"POEMA","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338503","display_name":"European Office of Aerospace Research and Development","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W20183590","https://openalex.org/W32754932","https://openalex.org/W1481997196","https://openalex.org/W1557168674","https://openalex.org/W1604184456","https://openalex.org/W1635682819","https://openalex.org/W1976677460","https://openalex.org/W1984088467","https://openalex.org/W1993974377","https://openalex.org/W2001224529","https://openalex.org/W2004746351","https://openalex.org/W2007704220","https://openalex.org/W2012500323","https://openalex.org/W2059522106","https://openalex.org/W2061715373","https://openalex.org/W2077961479","https://openalex.org/W2112074285","https://openalex.org/W2117819179","https://openalex.org/W2120467997","https://openalex.org/W2128687423","https://openalex.org/W2130918732","https://openalex.org/W2238531909","https://openalex.org/W2319466955","https://openalex.org/W2441241344","https://openalex.org/W2488784915","https://openalex.org/W2547900126","https://openalex.org/W2743075180","https://openalex.org/W2772613967","https://openalex.org/W3101568060","https://openalex.org/W3133728983","https://openalex.org/W4239141340","https://openalex.org/W4249549360","https://openalex.org/W4255213956"],"related_works":["https://openalex.org/W2277198065","https://openalex.org/W2592998205","https://openalex.org/W2947105448","https://openalex.org/W1587033807","https://openalex.org/W604413008","https://openalex.org/W1605162252","https://openalex.org/W2138135391","https://openalex.org/W1541593858","https://openalex.org/W2138496493","https://openalex.org/W2686471609"],"abstract_inverted_index":{"We":[0,66,107],"present":[1],"a":[2,56,125],"new":[3],"open":[4],"source":[5],"C":[6],"library":[7],"msolve":[8,27,113,137],"dedicated":[9],"to":[10,55,97],"solving":[11,62,77],"multivariate":[12],"polynomial":[13,38],"systems":[14,118,129,140],"of":[15,26,63,75,103,112,128,144],"dimension":[16],"zero":[17],"through":[18],"computer":[19,116,148],"algebra":[20,34,117,149],"methods.":[21],"The":[22],"core":[23],"algorithmic":[24,105],"framework":[25],"relies":[28,42],"on":[29,43,124],"Gr\u00f6bner":[30,44,53,58],"bases":[31],"and":[32,60,87],"linear":[33],"based":[35],"algorithms":[36],"for":[37],"system":[39],"solving.":[40],"It":[41],"basis":[45,59],"computation":[46],"w.r.t.":[47],"the":[48,76,88,100,109,147],"degree":[49],"reverse":[50],"lexicographical":[51,57],"order,":[52],"conversion":[54],"real":[61],"univariate":[64],"polynomials.":[65],"explain":[67],"in":[68],"detail":[69],"how":[70,81],"these":[71],"three":[72],"main":[73],"steps":[74],"process":[78],"are":[79],"implemented,":[80],"we":[82,93],"exploit":[83,99],"AVX2":[84],"instruction":[85],"processors":[86],"more":[89],"general":[90],"implementation":[91],"ideas":[92],"put":[94],"into":[95],"practice":[96],"better":[98],"computational":[101],"capabilities":[102],"this":[104],"framework.":[106],"compare":[108],"practical":[110],"performances":[111],"with":[114,130],"leading":[115],"such":[119],"as":[120],"Magma,":[121],"Maple,":[122],"Singular":[123],"wide":[126],"range":[127],"finitely":[131],"many":[132],"complex":[133],"solutions,":[134],"showing":[135],"that":[136],"can":[138],"tackle":[139],"which":[141],"were":[142],"out":[143],"reach":[145],"by":[146],"software":[150],"state-of-the-art.":[151]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":17},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2021-04-13T00:00:00"}