{"id":"W1906421350","doi":"10.1090/mcom/3046","title":"Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach","year":2015,"lang":"en","type":"article","venue":"Mathematics of Computation","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":73,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"National Science Foundation","keywords":"Mathematics; Homoclinic orbit; Nonlinear system; Polynomial; Ordinary differential equation; Bounding overwatch; Operator (biology); Interval arithmetic; Mathematical analysis; Applied mathematics; Differential equation; Partial differential equation","routes":{"ca_aff":true,"ca_fund":false,"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.0045259,0.001406259,0.0009386825,0.002220809,0.0007451543,0.002760064,0.001871018,0.001170592,0.006884423],"category_scores_gemma":[0.01811711,0.0005609232,0.001314182,0.00131159,0.002101623,0.005396673,0.002633751,0.003455914,0.0030906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001644688,"about_ca_system_score_gemma":0.001334658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002013138,"about_ca_topic_score_gemma":0.00120121,"domain_scores_codex":[0.9974456,0.001163221,0.0001283594,0.0001674899,0.0009704489,0.0001248366],"domain_scores_gemma":[0.9962866,0.00205483,0.0002917845,0.0005400331,0.0006853456,0.0001412605],"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.00003248852,0.0000170061,0.000172013,0.0001696507,0.0000162191,0.0000586073,0.0001406849,0.04509944,0.001647329,0.9225361,0.004010288,0.02610005],"study_design_scores_gemma":[0.00001288157,0.00002101532,0.0001535754,0.00005788355,0.000008647135,0.00003539113,0.00004089703,0.546519,0.0009780675,0.4383769,0.01377395,0.00002173852],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00484234,0.001550746,0.9760377,0.0008364869,0.0002535493,0.00003106659,0.00009383955,0.0004548553,0.0158994],"genre_scores_gemma":[0.2785482,0.005547861,0.6850449,0.0005145731,0.001073354,0.0004979101,0.0004581359,0.002875807,0.02543923],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006884423,"threshold_uncertainty_score":0.02393556,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1111380474367099,"score_gpt":0.3245036518008521,"score_spread":0.2133656043641421,"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."}}