{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001038011,0.0001598891,0.0003105581,0.0000480288,0.000102563,0.000150626,0.00006970455,0.00006891236,0.000004678441],"category_scores_gemma":[0.000003641198,0.000134791,0.0000618734,0.00005871574,0.0001124649,0.00009028603,0.00005341437,0.00009748295,0.000001207844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001312636,"about_ca_system_score_gemma":0.00002058755,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000715393,"about_ca_topic_score_gemma":0.0001097823,"domain_scores_codex":[0.9990113,0.00004618488,0.0003179005,0.0002935014,0.00007034078,0.000260782],"domain_scores_gemma":[0.9995889,0.00005717912,0.00009160834,0.0001179054,0.00004810916,0.00009627898],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001349089,0.001032715,0.6128374,0.0007099801,0.0007186537,0.00001574201,0.005945852,0.00002673046,0.01371584,0.04697898,0.001295562,0.3153734],"study_design_scores_gemma":[0.002316548,0.0006322864,0.0380677,0.0002496843,0.00004957757,0.000008718049,0.001016929,0.9508158,0.00004724707,0.0002565354,0.006119051,0.0004198978],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9711013,0.00007448486,0.02696498,0.00009340527,0.0002468051,0.0006282086,0.0001852802,0.00002345291,0.0006820144],"genre_scores_gemma":[0.996582,0.000001031982,0.001853895,0.00001561922,0.001129175,0.00003463196,0.0001058763,0.00001750737,0.0002602385],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9507891,"threshold_uncertainty_score":0.5496618,"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."}}