{"id":"W4312122229","doi":"10.1090/mcom/3888","title":"Computing error bounds for asymptotic expansions of regular P-recursive sequences","year":2023,"lang":"en","type":"article","venue":"Mathematics of Computation","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Mathematics; Sequence (biology); Symbolic computation; Asymptotic expansion; Polynomial; Uniqueness; Computation; Asymptotic analysis; Gravitational singularity; Singularity; Applied mathematics; Algebra over a field; Algorithm; Pure mathematics; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005548033,0.0009224755,0.0007682926,0.003103524,0.0007903987,0.00180649,0.001558135,0.001013721,0.002575732],"category_scores_gemma":[0.0537215,0.0004768146,0.0007157421,0.00114717,0.002927108,0.003188505,0.003050891,0.002341744,0.0009504981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001718622,"about_ca_system_score_gemma":0.001266645,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001412801,"about_ca_topic_score_gemma":0.002148177,"domain_scores_codex":[0.997338,0.0007308362,0.0001858178,0.0002850321,0.001258092,0.0002021803],"domain_scores_gemma":[0.982738,0.01279083,0.001042689,0.001349496,0.001722319,0.0003567473],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002804242,0.0001100895,0.005718364,0.0002608167,0.00005826704,0.0002782157,0.000894195,0.3264505,0.0123103,0.5156137,0.001600178,0.1364249],"study_design_scores_gemma":[0.00001107616,0.00004583707,0.0003200337,0.00004224408,0.000007221268,0.00005218065,0.00006038417,0.8257216,0.007137394,0.1655658,0.001018029,0.00001823252],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05713406,0.0001159692,0.9382202,0.0001335187,0.00003550559,0.00004666618,0.00003413032,0.0008698821,0.003410008],"genre_scores_gemma":[0.4846617,0.0002152552,0.5106208,0.0001139682,0.00006682576,0.00017119,0.0002482587,0.0006541429,0.003247884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005548033,"threshold_uncertainty_score":0.02934116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0347644148784825,"score_gpt":0.30408699170061,"score_spread":0.2693225768221275,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}