{"id":"https://openalex.org/W4312122229","doi":"https://doi.org/10.1090/mcom/3888","title":"Computing error bounds for asymptotic expansions of regular P-recursive sequences","display_name":"Computing error bounds for asymptotic expansions of regular P-recursive sequences","publication_year":2023,"publication_date":"2023-07-12","ids":{"openalex":"https://openalex.org/W4312122229","doi":"https://doi.org/10.1090/mcom/3888"},"language":"en","primary_location":{"id":"doi:10.1090/mcom/3888","is_oa":true,"landing_page_url":"https://doi.org/10.1090/mcom/3888","pdf_url":null,"source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1090/mcom/3888","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014183475","display_name":"Ruiwen Dong","orcid":"https://orcid.org/0009-0007-4349-082X"},"institutions":[{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["FR","GB"],"is_corresponding":false,"raw_author_name":"Ruiwen Dong","raw_affiliation_strings":["Department of Computer Science, University of Oxford, OX1 3QG, Oxford, United Kingdom","Ruiwen Dong, \u00c3\u0089cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France","Ruiwen Dong, \u00c9cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, OX1 3QG, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Ruiwen Dong, \u00c3\u0089cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France","institution_ids":[]},{"raw_affiliation_string":"Ruiwen Dong, \u00c9cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France","institution_ids":["https://openalex.org/I142476485"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047700742","display_name":"Stephen Melczer","orcid":"https://orcid.org/0000-0002-0995-3444"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Stephen Melczer","raw_affiliation_strings":["Stephen Melczer, Department of Combinatorics and Optimization, University of Waterloo, Waterloo, Ontario, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stephen Melczer, Department of Combinatorics and Optimization, University of Waterloo, Waterloo, Ontario, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086621994","display_name":"Marc Mezzarobba","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/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210139461","display_name":"Laboratoire d'Informatique de l'\u00c9cole Polytechnique","ror":"https://ror.org/04afed728","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Mezzarobba","raw_affiliation_strings":["Marc Mezzarobba, LIX, CNRS, \u00c3\u0089cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France","Marc Mezzarobba, LIX, CNRS, \u00c9cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Marc Mezzarobba, LIX, CNRS, \u00c3\u0089cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Marc Mezzarobba, LIX, CNRS, \u00c9cole polytechnique, Institut polytechnique de Paris, 91200 Palaiseau, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I142476485","https://openalex.org/I4210139461"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9963,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.76926114,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"93","issue":"346","first_page":"977","last_page":"1017"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9983000159263611,"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.9983000159263611,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11130","display_name":"Coding theory and cryptography","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/mathematics","display_name":"Mathematics","score":0.7459970116615295},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5921896696090698},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.5695956945419312},{"id":"https://openalex.org/keywords/asymptotic-expansion","display_name":"Asymptotic expansion","score":0.5408776998519897},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.49642688035964966},{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.4954880475997925},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.49471208453178406},{"id":"https://openalex.org/keywords/asymptotic-analysis","display_name":"Asymptotic analysis","score":0.46171805262565613},{"id":"https://openalex.org/keywords/gravitational-singularity","display_name":"Gravitational singularity","score":0.4259629249572754},{"id":"https://openalex.org/keywords/singularity","display_name":"Singularity","score":0.4136982858181},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3997144103050232},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37329041957855225},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3237627148628235},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.25061196088790894},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.13916084170341492}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7459970116615295},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5921896696090698},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.5695956945419312},{"id":"https://openalex.org/C11683690","wikidata":"https://www.wikidata.org/wiki/Q752726","display_name":"Asymptotic expansion","level":2,"score":0.5408776998519897},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.49642688035964966},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.4954880475997925},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.49471208453178406},{"id":"https://openalex.org/C205147927","wikidata":"https://www.wikidata.org/wiki/Q752718","display_name":"Asymptotic analysis","level":2,"score":0.46171805262565613},{"id":"https://openalex.org/C12843","wikidata":"https://www.wikidata.org/wiki/Q201721","display_name":"Gravitational singularity","level":2,"score":0.4259629249572754},{"id":"https://openalex.org/C16171025","wikidata":"https://www.wikidata.org/wiki/Q863349","display_name":"Singularity","level":2,"score":0.4136982858181},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3997144103050232},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37329041957855225},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3237627148628235},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25061196088790894},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13916084170341492},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1090/mcom/3888","is_oa":true,"landing_page_url":"https://doi.org/10.1090/mcom/3888","pdf_url":null,"source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2212.11742","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2212.11742","pdf_url":"https://arxiv.org/pdf/2212.11742","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":"","raw_type":"text"},{"id":"pmh:oai:HAL:hal-03902210v2","is_oa":true,"landing_page_url":"https://hal.science/hal-03902210","pdf_url":"https://hal.science/hal-03902210/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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematics of Computation, 2024, 93, pp.977-1017","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.2212.11742","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2212.11742","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1090/mcom/3888","is_oa":true,"landing_page_url":"https://doi.org/10.1090/mcom/3888","pdf_url":null,"source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1415606103","display_name":"Numerical Safety for Computer-Aided Proofs","funder_award_id":"ANR-20-CE48-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6815068903","display_name":"Effective tools for the analysis of discrete structures","funder_award_id":"rgpin-2021-02382","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G7814125300","display_name":"Deciding irrationality and transcendence","funder_award_id":"ANR-19-CE40-0018","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"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W82672431","https://openalex.org/W171489738","https://openalex.org/W186403072","https://openalex.org/W225512093","https://openalex.org/W602391989","https://openalex.org/W1585998846","https://openalex.org/W1797219784","https://openalex.org/W1846409004","https://openalex.org/W1951920023","https://openalex.org/W1969656981","https://openalex.org/W1982532954","https://openalex.org/W1983375762","https://openalex.org/W1987402948","https://openalex.org/W2002543270","https://openalex.org/W2014771275","https://openalex.org/W2014853519","https://openalex.org/W2018919817","https://openalex.org/W2019562585","https://openalex.org/W2044876948","https://openalex.org/W2063528132","https://openalex.org/W2072196895","https://openalex.org/W2076393035","https://openalex.org/W2076833152","https://openalex.org/W2113904971","https://openalex.org/W2166717942","https://openalex.org/W2328129841","https://openalex.org/W2551783230","https://openalex.org/W2552835512","https://openalex.org/W2603550876","https://openalex.org/W2798531695","https://openalex.org/W2890275617","https://openalex.org/W3013983766","https://openalex.org/W3044158018","https://openalex.org/W3098527848","https://openalex.org/W3104822223","https://openalex.org/W3117253446","https://openalex.org/W3183839967","https://openalex.org/W4200040756","https://openalex.org/W4256113130","https://openalex.org/W4287597365","https://openalex.org/W4287707307","https://openalex.org/W4295332061","https://openalex.org/W4296156497","https://openalex.org/W6603367127"],"related_works":["https://openalex.org/W4287265842","https://openalex.org/W2726339783","https://openalex.org/W2546079289","https://openalex.org/W2095039895","https://openalex.org/W2022135995","https://openalex.org/W1668363177","https://openalex.org/W4302011306","https://openalex.org/W2022448890","https://openalex.org/W2963052782","https://openalex.org/W1966148554"],"abstract_inverted_index":{"Over":[0],"the":[1,7,18,59,94,140,143,147,165,188,191,203,210,226,248,252],"last":[2],"several":[3],"decades,":[4],"improvements":[5],"in":[6,40,62,187,225,247],"fields":[8],"of":[9,21,33,104,146,152,169,190,202,238,254],"analytic":[10,207],"combinatorics":[11],"and":[12,54,57,106,171,218,231],"computer":[13,219,228],"algebra":[14,229],"have":[15],"made":[16],"determining":[17],"asymptotic":[19,64,83,116,133,192],"behaviour":[20,117],"sequences":[22],"satisfying":[23],"linear":[24],"recurrence":[25,52],"relations":[26],"with":[27,135,156,212],"polynomial":[28],"coefficients":[29],"largely":[30],"a":[31,47,51,68,127,150,153,236],"matter":[32],"routine,":[34],"under":[35,139],"assumptions":[36],"that":[37,142,182],"hold":[38],"often":[39],"practice.":[41],"The":[42,200],"algorithms":[43],"involved":[44,186],"typically":[45,92],"take":[46],"sequence,":[48],"encoded":[49],"by":[50,109,196],"relation":[53],"initial":[55],"terms,":[56],"return":[58],"leading":[60,115],"terms":[61,185,205],"an":[63,79,111],"expansion":[65,193],"up":[66],"to":[67,96],"big-O":[69,184],"error":[70,84,120,137,198,204],"term.":[71],"Less":[72],"studied,":[73],"however,":[74],"are":[75,194],"effective":[76,213],"techniques":[77,214],"giving":[78],"explicit":[80,90,197],"bound":[81],"on":[82,235],"terms.":[85,121,199],"Among":[86],"other":[87],"things,":[88],"such":[89,132],"bounds":[91,208],"allow":[93],"user":[95],"automatically":[97],"prove":[98],"sequence":[99,148],"positivity":[100],"(an":[101],"active":[102],"area":[103],"enumerative":[105],"algebraic":[107],"combinatorics)":[108],"exhibiting":[110],"index":[112],"when":[113],"positive":[114],"dominates":[118],"any":[119],"In":[122],"this":[123],"article,":[124],"we":[125],"present":[126],"practical":[128],"algorithm":[129,162,224],"for":[130,251],"computing":[131],"approximations":[134],"rigorous":[136,216],"bounds,":[138],"assumption":[141],"generating":[144],"series":[145],"is":[149],"solution":[151,245],"differential":[154],"equation":[155],"regular":[157],"(Fuchsian)":[158],"dominant":[159],"singularities.":[160],"Our":[161],"approximately":[163],"follows":[164],"singularity":[166],"analysis":[167],"method":[168],"Flajolet":[170],"Odlyzko":[172],"[SIAM":[173],"J.":[174],"Discrete":[175],"Math.":[176],"3":[177],"(1990),":[178],"pp.":[179],"216\u2013240],":[180],"except":[181],"all":[183],"derivation":[189],"replaced":[195],"computation":[201],"combines":[206],"from":[209,215],"literature":[211],"numerics":[217],"algebra.":[220],"We":[221],"implement":[222],"our":[223,241],"SageMath":[227],"system":[230],"exhibit":[232],"its":[233],"use":[234],"variety":[237],"applications":[239],"(including":[240],"original":[242],"motivating":[243],"example,":[244],"uniqueness":[246],"Canham":[249],"model":[250],"shape":[253],"genus":[255],"one":[256],"biomembranes).":[257]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":6}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2023-01-04T00:00:00"}