{"id":"W2605817388","doi":"10.3934/dcdsb.2018164","title":"Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs","year":2018,"lang":"en","type":"article","venue":"Discrete and Continuous Dynamical Systems - B","topic":"Nonlinear Waves and Solitons","field":"Physics and Astronomy","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Ode; Polynomial; Applied mathematics; Nonlinear system; Piecewise; A priori and a posteriori; Mathematical proof; Interpolation (computer graphics); Operator (biology); Polynomial interpolation; Fixed point; Mathematical analysis; Linear interpolation; Computer science","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.00252648,0.0005847513,0.0006491019,0.0009283114,0.0006075132,0.00064998,0.001009833,0.0007126942,0.001841517],"category_scores_gemma":[0.007592765,0.0003144424,0.0009084425,0.0005141613,0.001799024,0.001516235,0.002057997,0.002197714,0.0005610553],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006686176,"about_ca_system_score_gemma":0.000831474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000897094,"about_ca_topic_score_gemma":0.0006939913,"domain_scores_codex":[0.9990283,0.0004523892,0.00004190676,0.00006949926,0.0003541153,0.00005385545],"domain_scores_gemma":[0.9963757,0.00245832,0.0002381598,0.0004332564,0.000385967,0.0001085208],"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.0001620037,0.00008340204,0.0008604791,0.0002630971,0.00004083122,0.0002327116,0.0002854223,0.1865953,0.02113374,0.7248917,0.00112157,0.06432985],"study_design_scores_gemma":[0.00001309999,0.00006623655,0.0001264894,0.0000202422,0.000006215429,0.00006394661,0.00001586162,0.9237947,0.00462776,0.06700984,0.004239325,0.00001628841],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00574953,0.0001197149,0.9927048,0.00007052943,0.00002195105,0.00001691854,0.00001262335,0.0001479014,0.001156045],"genre_scores_gemma":[0.2928887,0.0004684412,0.7028847,0.00008760814,0.00009861017,0.000162046,0.00008637682,0.0002180258,0.003105559],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00252648,"threshold_uncertainty_score":0.01336145,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01091718723501156,"score_gpt":0.2731635798885215,"score_spread":0.26224639265351,"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."}}