{"id":"https://openalex.org/W2914306439","doi":"https://doi.org/10.1145/3326229.3326248","title":"Gr\u00f6bner Basis over Semigroup Algebras","display_name":"Gr\u00f6bner Basis over Semigroup Algebras","publication_year":2019,"publication_date":"2019-07-08","ids":{"openalex":"https://openalex.org/W2914306439","doi":"https://doi.org/10.1145/3326229.3326248","mag":"2914306439"},"language":"en","primary_location":{"id":"doi:10.1145/3326229.3326248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1902.00208","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005945415","display_name":"Mat\u00edas R. Bender","orcid":"https://orcid.org/0000-0001-9341-287X"},"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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mat\u00edas R. Bender","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107405594","display_name":"Jean\u2010Charles Faug\u00e8re","orcid":null},"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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Charles Faug\u00e8re","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002548887","display_name":"Elias Tsigaridas","orcid":"https://orcid.org/0009-0003-5015-3988"},"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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Elias Tsigaridas","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, INRIA, Paris, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9632,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7689535,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"42","last_page":"49"},"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/polytope","display_name":"Polytope","score":0.6368644833564758},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6133564114570618},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.5475630760192871},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5274631977081299},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5049434304237366},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.49885106086730957},{"id":"https://openalex.org/keywords/gr\u00f6bner-basis","display_name":"Gr\u00f6bner basis","score":0.44003283977508545},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4326028823852539},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.42229244112968445},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35509541630744934},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3541490137577057},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21020099520683289}],"concepts":[{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.6368644833564758},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6133564114570618},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.5475630760192871},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5274631977081299},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5049434304237366},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.49885106086730957},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.44003283977508545},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4326028823852539},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.42229244112968445},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35509541630744934},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3541490137577057},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21020099520683289},{"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}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3326229.3326248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326229.3326248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1902.00208","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.00208","pdf_url":"https://arxiv.org/pdf/1902.00208","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":"","raw_type":"text"},{"id":"pmh:oai:HAL:hal-02002689v2","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02002689","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":"ISSAC 2019 - 44th International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. pp.42-49, ⟨10.1145/3326229.3326248⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.48550/arxiv.1902.00208","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1902.00208","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1902.00208","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.00208","pdf_url":"https://arxiv.org/pdf/1902.00208","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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1558722870","display_name":"Games through the lens of ALgebra and geometry of OPtimization","funder_award_id":"ANR-17-CE40-0009","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5386038833","display_name":null,"funder_award_id":"ANR JCJC GALOP (ANR-17- CE40-0009)","funder_id":"https://openalex.org/F4320325505","funder_display_name":"Agence Nationale pour le D\u00e9veloppement de la Recherche Universitaire"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320325505","display_name":"Agence Nationale pour le D\u00e9veloppement de la Recherche Universitaire","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W17081737","https://openalex.org/W217710249","https://openalex.org/W382720801","https://openalex.org/W1495410784","https://openalex.org/W1512237513","https://openalex.org/W1537258143","https://openalex.org/W1586660875","https://openalex.org/W1930933668","https://openalex.org/W1976673195","https://openalex.org/W1977415556","https://openalex.org/W1988821632","https://openalex.org/W1989690103","https://openalex.org/W1989923040","https://openalex.org/W1995786326","https://openalex.org/W2017643152","https://openalex.org/W2034471690","https://openalex.org/W2034955763","https://openalex.org/W2038345254","https://openalex.org/W2059522106","https://openalex.org/W2064751579","https://openalex.org/W2081659888","https://openalex.org/W2085482277","https://openalex.org/W2140863255","https://openalex.org/W2295465424","https://openalex.org/W2475486651","https://openalex.org/W2769857238","https://openalex.org/W2799913292","https://openalex.org/W2893452648","https://openalex.org/W2962892663","https://openalex.org/W2962928298","https://openalex.org/W2963059192","https://openalex.org/W2963833429","https://openalex.org/W3098862099","https://openalex.org/W3102759601","https://openalex.org/W3105833047","https://openalex.org/W3106350071","https://openalex.org/W4205502224","https://openalex.org/W4206077821"],"related_works":["https://openalex.org/W4280529077","https://openalex.org/W1605162252","https://openalex.org/W2138135391","https://openalex.org/W2055878129","https://openalex.org/W2138496493","https://openalex.org/W2686471609","https://openalex.org/W2015689303","https://openalex.org/W2230441834","https://openalex.org/W3026223998","https://openalex.org/W109420984"],"abstract_inverted_index":{"Gr\u00f6":[0,79,141],"bner":[1,80,142],"bases":[2,81],"is":[3,15,67,112],"one":[4],"the":[5,28,36,38,54,70,88,96,100,104,107,113,119,145,154,161,165],"most":[6,34],"powerful":[7],"tools":[8],"in":[9,27,33,72,99,144],"algorithmic":[10],"nonlinear":[11],"algebra.":[12,84],"Their":[13],"computation":[14],"an":[16],"intrinsically":[17],"hard":[18],"problem":[19],"with":[20],"a":[21,58,73],"complexity":[22,159],"at":[23],"least":[24],"single":[25],"exponential":[26],"number":[29],"of":[30,35,47,160],"variables.":[31],"However,":[32],"cases,":[37],"polynomial":[39],"systems":[40,52,71,152],"coming":[41],"from":[42,95],"applications":[43],"have":[44,57,106],"some":[45],"kind":[46],"structure.":[48],"We":[49,117],"consider":[50],"sparse":[51,150],"where":[53,102],"input":[55],"polynomials":[56,105,151],"few":[59],"non-zero":[60],"terms.":[61],"Our":[62],"approach":[63,93],"to":[64,68,77,86,139],"exploit":[65],"sparsity":[66,97,109],"embed":[69],"semigroup":[74],"algebra":[75,147],"and":[76,148],"compute":[78,140],"over":[82,153],"this":[83,92,124,137],"Up":[85],"now,":[87],"algorithms":[89],"that":[90,111,122],"follow":[91],"benefit":[94],"only":[98],"case":[101],"all":[103],"same":[108,114],"structure,":[110],"Newton":[115,166],"polytope.":[116],"introduce":[118],"first":[120],"algorithm":[121,138,162],"overcomes":[123],"restriction.":[125],"Under":[126],"regularity":[127],"assumptions,":[128],"it":[129],"performs":[130],"no":[131],"redundant":[132],"computations.":[133],"Further,":[134],"we":[135],"extend":[136],"basis":[143],"standard":[146],"solve":[149],"torus":[155],"(\\mathbbC":[156],"^*)^n.":[157],"The":[158],"depends":[163],"on":[164],"polytopes.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2019-02-21T00:00:00"}