{"id":"https://openalex.org/W4321175701","doi":"https://doi.org/10.1145/3666000.3669672","title":"In-place fast polynomial modular remainder","display_name":"In-place fast polynomial modular remainder","publication_year":2023,"publication_date":"2023-02-08","ids":{"openalex":"https://openalex.org/W4321175701","doi":"https://doi.org/10.1145/3666000.3669672"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2302.13600","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2302.13600","pdf_url":"https://arxiv.org/pdf/2302.13600","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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"},"type":"preprint","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2302.13600","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091337059","display_name":"Jean\u2010Guillaume Dumas","orcid":"https://orcid.org/0000-0002-2591-172X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dumas, Jean-Guillaume","raw_affiliation_strings":["Calcul Alg\u00e9brique et Symbolique, S\u00e9curit\u00e9, Syst\u00e8mes Complexes, Codes et Cryptologie"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Calcul Alg\u00e9brique et Symbolique, S\u00e9curit\u00e9, Syst\u00e8mes Complexes, Codes et Cryptologie","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003590565","display_name":"Bruno Grenet","orcid":"https://orcid.org/0000-0003-2057-5429"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grenet, Bruno","raw_affiliation_strings":["Calcul Alg\u00e9brique et Symbolique, S\u00e9curit\u00e9, Syst\u00e8mes Complexes, Codes et Cryptologie"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Calcul Alg\u00e9brique et Symbolique, S\u00e9curit\u00e9, Syst\u00e8mes Complexes, Codes et Cryptologie","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.8603000044822693,"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.8603000044822693,"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/remainder","display_name":"Remainder","score":0.9509127140045166},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6698323488235474},{"id":"https://openalex.org/keywords/chinese-remainder-theorem","display_name":"Chinese remainder theorem","score":0.5884210467338562},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5318975448608398},{"id":"https://openalex.org/keywords/modular-arithmetic","display_name":"Modular arithmetic","score":0.5258619785308838},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5033456683158875},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.43210339546203613},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4089561700820923},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25819283723831177},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11249670386314392},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.04626783728599548}],"concepts":[{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.9509127140045166},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6698323488235474},{"id":"https://openalex.org/C151635116","wikidata":"https://www.wikidata.org/wiki/Q193878","display_name":"Chinese remainder theorem","level":2,"score":0.5884210467338562},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5318975448608398},{"id":"https://openalex.org/C32049820","wikidata":"https://www.wikidata.org/wiki/Q319400","display_name":"Modular arithmetic","level":3,"score":0.5258619785308838},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5033456683158875},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.43210339546203613},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4089561700820923},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25819283723831177},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11249670386314392},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.04626783728599548}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2302.13600","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2302.13600","pdf_url":"https://arxiv.org/pdf/2302.13600","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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-03979016v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03979016","pdf_url":"https://hal.science/hal-03979016v1/document","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":"https://hal.science/hal-03979016","raw_type":"info:eu-repo/semantics/report"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2302.13600","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2302.13600","pdf_url":"https://arxiv.org/pdf/2302.13600","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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/G5867641771","display_name":"IDEX UGA","funder_award_id":"ANR-15-IDEX-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7022847571","display_name":"Cryptanalyse de primitives cryptographiques classiques","funder_award_id":"ANR-22-PECY-0010","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8781429262","display_name":"Secure distributed computAtioN: cryptoGRaphy, combinatorIcs and computer Algebra","funder_award_id":"ANR-21-CE39-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1984910481","https://openalex.org/W1608773862","https://openalex.org/W2366394750","https://openalex.org/W2154733965","https://openalex.org/W2161621882","https://openalex.org/W2393337705","https://openalex.org/W2964009528","https://openalex.org/W2170618847","https://openalex.org/W2366738637","https://openalex.org/W2894692820"],"abstract_inverted_index":{"We":[0,151],"consider":[1],"the":[2,9,39,56,59,67,92,113,116,162,169,177,186,211,221],"simultaneously":[3],"fast":[4,32,245],"and":[5,21,27,81,85,105,160,185,214,223,227],"in-place":[6,49,123,159,215,246],"computation":[7],"of":[8,23,41,58,69,72,95,115,165,210],"Euclidean":[10],"polynomial":[11,231,241],"modular":[12,188],"remainder":[13,117,171,179],"$R(X)":[14,180,190],"$\\not\\equiv$":[15,173],"A(X)":[16,174,182],"\\mod":[17,175,183,193],"B(X)$":[18,184],"with":[19,78,127,161],"$A$":[20,96,104],"$B$":[22,98,106],"respective":[24],"degrees":[25],"$n$":[26],"$m":[28],"$\\le$":[29],"n$.":[30],"But":[31],"algorithms":[33,247],"for":[34,99,201,220,225,230,243],"this":[35],"usually":[36],"come":[37],"at":[38,137],"expense":[40],"(potentially":[42],"large)":[43],"extra":[44,83,129],"temporary":[45],"space.":[46],"To":[47,195],"remain":[48],"a":[50],"further":[51,237],"issue":[52],"is":[53,88,126,145,207,234],"to":[54,90,108,133,239],"avoid":[55],"storage":[57],"whole":[60],"quotient":[61],"$Q(X)$":[62],"such":[63],"that":[64,155],"$A=BQ+R$.":[65],"If":[66],"multiplication":[68,189],"two":[70],"polynomials":[71],"degree":[73],"$k$":[74],"can":[75],"be":[76],"performed":[77],"$M(k)$":[79],"operations":[80,204],"$O(k)$":[82],"space,":[84],"if":[86,143],"it":[87],"allowed":[89],"use":[91],"input":[93],"space":[94,131],"or":[97,147],"intermediate":[100],"computations,":[101],"but":[102],"putting":[103],"back":[107],"their":[109],"initial":[110],"states":[111],"after":[112],"completion":[114],"computation,":[118],"we":[119,198],"here":[120],"propose":[121,153],"an":[122],"algorithm":[124],"(that":[125],"its":[128],"required":[130],"reduced":[132],"$O(1)$":[134],"only)":[135],"using":[136],"most":[138],"$O(n/m":[139,148],"M(m)\\log(m)$":[140],"arithmetic":[141],"operations,":[142],"$\\M(m)$":[144],"quasi-linear,":[146],"M(m)}$":[149],"otherwise.":[150],"also":[152,208],"variants":[154],"compute":[156],"--":[157,168],"still":[158],"same":[163],"kind":[164],"complexity":[166],"bounds":[167],"over-place":[170],"$A(X)":[172],"B(X)$,":[176],"accumulated":[178,187,240],"+=":[181,191],"A(X)C(X)":[192],"B(X)$.":[194],"achieve":[196],"this,":[197],"develop":[199],"techniques":[200],"Toeplitz":[202],"matrix":[203],"which":[205,244],"output":[206],"part":[209],"input.":[212],"Fast":[213],"accumulating":[216],"versions":[217],"are":[218],"obtained":[219],"latter,":[222],"thus":[224],"convolutions,":[226],"then":[228],"used":[229],"remaindering.":[232],"This":[233],"realized":[235],"via":[236],"reductions":[238],"multiplication,":[242],"have":[248],"recently":[249],"been":[250],"developed.":[251]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}