{"id":"W2076033814","doi":"10.1007/s10884-014-9367-0","title":"Computer Assisted Proof of Transverse Saddle-to-Saddle Connecting Orbits for First Order Vector Fields","year":2014,"lang":"en","type":"article","venue":"Journal of Dynamics and Differential Equations","topic":"Quantum chaos and dynamical systems","field":"Physics and Astronomy","cited_by":49,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Mathematics; Transversality; Saddle; Mathematical analysis; Computer-assisted proof; Mathematical proof; Saddle point; Intersection (aeronautics); Pure mathematics; Geometry; Mathematical optimization","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.0009656303,0.0008600893,0.000735828,0.0006945934,0.001129638,0.001114822,0.001313628,0.001049331,0.02141832],"category_scores_gemma":[0.006950714,0.0004802874,0.001230947,0.0004052885,0.001389201,0.001414227,0.002410872,0.001621661,0.002019758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000588845,"about_ca_system_score_gemma":0.001459745,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001196747,"about_ca_topic_score_gemma":0.002100671,"domain_scores_codex":[0.9994628,0.0001205364,0.00003670182,0.00008199884,0.0002265573,0.00007134015],"domain_scores_gemma":[0.9957819,0.002902704,0.0001435373,0.0005404219,0.0005137054,0.0001176962],"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.0006702907,0.0003455073,0.001112098,0.0005831206,0.0001537295,0.001039695,0.0005312951,0.1143489,0.02339173,0.7449672,0.01963997,0.09321652],"study_design_scores_gemma":[0.0002475903,0.0002119553,0.0006657939,0.00006734085,0.00006076381,0.0002650225,0.0001400448,0.4428088,0.01041977,0.5381195,0.006939624,0.00005378762],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1086185,0.0001607924,0.8352248,0.001058148,0.0003560355,0.0003880414,0.0007791229,0.001956027,0.05145857],"genre_scores_gemma":[0.7816331,0.000148882,0.2044321,0.0003086235,0.0001100519,0.0002542573,0.0007681229,0.0004287703,0.01191609],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02141832,"threshold_uncertainty_score":0.07165146,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01433218819234676,"score_gpt":0.2451480061539878,"score_spread":0.230815817961641,"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."}}