{"id":"https://openalex.org/W2739302581","doi":"https://doi.org/10.1145/3087604.3087638","title":"M4GB","display_name":"M4GB","publication_year":2017,"publication_date":"2017-07-19","ids":{"openalex":"https://openalex.org/W2739302581","doi":"https://doi.org/10.1145/3087604.3087638","mag":"2739302581"},"language":"en","primary_location":{"id":"doi:10.1145/3087604.3087638","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3087604.3087638","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ir.cwi.nl/pub/26659/SSAC1112.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075496360","display_name":"Rusydi H. Makarim","orcid":"https://orcid.org/0000-0002-3234-4399"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Rusydi H. Makarim","raw_affiliation_strings":["Centrum Wiskunde en Informatica & University Leiden, Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde en Informatica & University Leiden, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042597739","display_name":"Marc Stevens","orcid":"https://orcid.org/0000-0002-7091-2924"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marc Stevens","raw_affiliation_strings":["Centrum Wiskunde en Informatica, Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde en Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9571,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.77910203,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"293","last_page":"300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998999834060669,"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.9998999834060669,"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.9958000183105469,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9901000261306763,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/monomial","display_name":"Monomial","score":0.7717028856277466},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6172206401824951},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5556869506835938},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5399373769760132},{"id":"https://openalex.org/keywords/monomial-basis","display_name":"Monomial basis","score":0.48312947154045105},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.4791659414768219},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.46533384919166565},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4586828052997589},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4331844449043274},{"id":"https://openalex.org/keywords/linear-algebra","display_name":"Linear algebra","score":0.417207270860672},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38292333483695984},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.27187255024909973},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.11962509155273438}],"concepts":[{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.7717028856277466},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6172206401824951},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5556869506835938},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5399373769760132},{"id":"https://openalex.org/C46132437","wikidata":"https://www.wikidata.org/wiki/Q6901742","display_name":"Monomial basis","level":3,"score":0.48312947154045105},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.4791659414768219},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.46533384919166565},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4586828052997589},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4331844449043274},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.417207270860672},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38292333483695984},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27187255024909973},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.11962509155273438},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3087604.3087638","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3087604.3087638","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:cwi:oai:cwi.nl:26659","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/26659","pdf_url":"https://ir.cwi.nl/pub/26659/SSAC1112.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:cwi:oai:cwi.nl:26659","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/26659","pdf_url":"https://ir.cwi.nl/pub/26659/SSAC1112.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320929","display_name":"Universiteit Leiden","ror":"https://ror.org/027bh9e22"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2739302581.pdf","grobid_xml":"https://content.openalex.org/works/W2739302581.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1561770151","https://openalex.org/W1583871653","https://openalex.org/W1976677460","https://openalex.org/W1993974377","https://openalex.org/W2006504364","https://openalex.org/W2047161740","https://openalex.org/W2059522106","https://openalex.org/W2117819179","https://openalex.org/W2128687423","https://openalex.org/W2137147061","https://openalex.org/W2146190620"],"related_works":["https://openalex.org/W3027438086","https://openalex.org/W4287776222","https://openalex.org/W2068219544","https://openalex.org/W2594696802","https://openalex.org/W2353327911","https://openalex.org/W1509594480","https://openalex.org/W4294223057","https://openalex.org/W1970574340","https://openalex.org/W2045452781","https://openalex.org/W2053918863"],"abstract_inverted_index":{"This":[0,103,168],"paper":[1],"introduces":[2],"a":[3,133,179,198,211,225,280,312],"new":[4,202,321],"efficient":[5,47,95],"algorithm":[6,14,22,88,203],"for":[7,50,132,139,205,274,323],"computing":[8],"Grobner-bases":[9],"named":[10],"M4GB.":[11],"Like":[12],"Faugere's":[13],"F4":[15,57],"it":[16,58,170],"is":[17,89,94],"an":[18,305],"extension":[19],"of":[20,32,66,71,75,83,130,135,158,178,200,213,227,233,270,291,309],"Buchberger's":[21],"that":[23,106,245,258],"describes:":[24],"how":[25,44],"to":[26,35,45,56,110,126,150,171,249,319,333,341,350],"store":[27],"already":[28],"computed":[29,347],"(tail-)reduced":[30],"multiples":[31],"basis":[33],"polynomials":[34,157],"prevent":[36],"redundant":[37,61],"work":[38,62],"in":[39,63,175,251],"the":[40,51,64,73,80,119,127,163,176,192,231,261,267,284,288],"reduction":[41,52,74,82],"step;":[42],"and":[43,93,117,121,215,236,254,266,294,336],"exploit":[46],"linear":[48],"algebra":[49],"step.":[53],"In":[54,283],"comparison":[55,226],"removes":[59],"further":[60],"processing":[65,97],"reducible":[67],"monomials.":[68,194],"Furthermore,":[69],"instead":[70],"translating":[72],"many":[76],"critical":[77,98,113],"pairs":[78,99,114],"into":[79],"row":[81],"some":[84],"large":[85],"matrix,":[86],"our":[87,201,217,228,354],"described":[90],"more":[91,310],"natively":[92],"while":[96],"one":[100,137],"by":[101,279],"one.":[102],"feature":[104],"implies":[105],"typically":[107],"M4GB":[108,145,259,316],"has":[109,146],"process":[111],"fewer":[112],"than":[115,311],"F4,":[116],"reduces":[118],"time":[120,253,265],"data":[122],"complexity":[123],"'staircase'":[124],"related":[125],"increasing":[128],"degree":[129],"regularity":[131],"sequence":[134],"problems":[136,244],"observes":[138],"F4.":[140],"To":[141],"achieve":[142],"high":[143],"efficiency,":[144],"been":[147],"designed":[148],"specifically":[149],"operate":[151],"only":[152],"on":[153,238,304,353],"tail-reduced":[154],"polynomials,":[155],"i.e.,":[156],"which":[159,300],"all":[160,184,271],"terms":[161],"except":[162],"leading":[164],"term":[165,180],"are":[166,186],"non-reducible.":[167],"allows":[169],"perform":[172],"full-reduction":[173],"directly":[174],"computation":[177],"polynomial":[181,208],"multiplication,":[182],"where":[183],"computations":[185],"done":[187],"over":[188,191],"coefficient":[189],"vectors":[190],"non-reducible":[193],"We":[195,222,256],"have":[196,223,297],"implemented":[197],"version":[199],"tailored":[204],"dense":[206,240],"overdefined":[207],"systems":[209],"as":[210],"proof":[212],"concept":[214],"made":[216,224],"source":[218],"code":[219],"publicly":[220],"available.":[221],"implementation":[229],"against":[230],"implementations":[232,273],"FGBlib,":[234],"Magma":[235],"OpenF4":[237],"various":[239],"Fukuoka":[241,285,325],"MQ":[242,276,286,326],"challenge":[243],"we":[246],"were":[247],"able":[248],"compute":[250],"reasonable":[252],"memory.":[255],"observed":[257],"uses":[260],"least":[262,268],"total":[263],"CPU":[264],"memory":[269],"these":[272,324],"those":[275],"problems,":[277],"often":[278],"significant":[281],"factor.":[282],"challenges,":[287],"starting":[289],"challenges":[290,327],"Type":[292,295,329,337],"V":[293,330],"VI":[296,338],"16":[298],"equations":[299,335],"was":[301],"chosen":[302],"based":[303],"extrapolated":[306],"computational":[307],"runtime":[308],"month":[313],"using":[314],"Magma.":[315],"allowed":[317],"us":[318],"set":[320],"records":[322],"breaking":[328],"(F28)":[331],"up":[332,340,349],"18":[334],"(F31)":[339],"19":[342],"equations,":[343],"each":[344],"can":[345],"be":[346],"within":[348],"11":[351],"days":[352],"dual":[355],"Xeon":[356],"system.":[357]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2017-07-31T00:00:00"}