{"id":"W2464311161","doi":"10.1016/j.indag.2016.06.012","title":"Rigorous verification of saddle–node bifurcations in ODEs","year":2016,"lang":"en","type":"article","venue":"Indagationes Mathematicae","topic":"Numerical methods for differential equations","field":"Mathematics","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Ordinary differential equation; Node (physics); Ode; Constructive; Saddle; Bifurcation; Saddle-node bifurcation; Set (abstract data type); Applied mathematics; Differential equation; Mathematical analysis; Mathematical optimization; Nonlinear system; Computer science; Process (computing)","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.004375404,0.001228281,0.001371194,0.001651216,0.0009748432,0.002080248,0.001874983,0.001909257,0.004089188],"category_scores_gemma":[0.02453307,0.0006835242,0.001616565,0.0004056343,0.003552761,0.002620092,0.005157722,0.002721661,0.0004908936],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001374572,"about_ca_system_score_gemma":0.001765947,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002194206,"about_ca_topic_score_gemma":0.00182148,"domain_scores_codex":[0.9982812,0.0006928625,0.0001140861,0.0001488107,0.0006316633,0.0001312671],"domain_scores_gemma":[0.9925711,0.004784005,0.0005686718,0.0007913581,0.001038476,0.0002463896],"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.000105977,0.00009938675,0.001032569,0.0002149612,0.00007120614,0.0003340046,0.0002567283,0.1277192,0.01059083,0.84914,0.001138725,0.009296362],"study_design_scores_gemma":[0.00002841254,0.00003464438,0.0002322285,0.00003752591,0.000009909931,0.00005155091,0.00004632131,0.7414588,0.001634611,0.2555532,0.0008962055,0.00001659598],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1086635,0.0005067883,0.8520589,0.001253541,0.0003087209,0.000169645,0.0002227251,0.0004079201,0.03640823],"genre_scores_gemma":[0.9190612,0.0003635185,0.07379575,0.0002276347,0.0001372899,0.0001291457,0.0002207833,0.0002236542,0.005841058],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004375404,"threshold_uncertainty_score":0.0231396,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1070120648698781,"score_gpt":0.3799873863324268,"score_spread":0.2729753214625488,"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."}}