{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006194652,0.0001739031,0.0003799181,0.0002970421,0.00006837015,0.00001740653,0.0002688019,0.0001058339,0.0004062936],"category_scores_gemma":[0.003523221,0.0001236146,0.00009918615,0.0005405527,0.0001574744,0.0002455948,0.00004510481,0.00008317467,0.0001296811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001015811,"about_ca_system_score_gemma":0.00005958738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001602633,"about_ca_topic_score_gemma":0.00002592325,"domain_scores_codex":[0.9980563,0.0001927562,0.0009014595,0.0002549288,0.0003629219,0.0002316216],"domain_scores_gemma":[0.9965909,0.002106623,0.0004371436,0.0006052739,0.0001940432,0.0000659966],"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.00002075032,0.0008040061,0.001970979,0.0002784736,0.00005148633,8.30106e-7,0.00192245,0.000007307663,0.06219479,0.8895168,0.0001005042,0.04313164],"study_design_scores_gemma":[0.0005034576,0.00003208495,0.006908157,0.0002729096,0.00004066515,0.000003625755,0.0001604114,0.0002719283,0.02109754,0.9704365,0.0001020727,0.0001706055],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3548686,0.00001584983,0.6417158,0.001107287,0.00009151608,0.000439029,0.00002827355,0.00009871969,0.001634964],"genre_scores_gemma":[0.7207038,0.000008903173,0.2787555,0.00001330971,0.0000305863,0.0001277155,0.000005511778,0.00002933568,0.0003252627],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3658353,"threshold_uncertainty_score":0.5040858,"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."}}