{"id":"W2953248030","doi":"","title":"Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof","year":2017,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Numerical methods for differential equations","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Université Laval","funders":"","keywords":"Homoclinic orbit; Computer-assisted proof; Mathematics; Continuation; Mathematical analysis; Contraction (grammar); Suspension (topology); Chebyshev filter; Contraction mapping; Pure mathematics; Homotopy; Geometry; Physics; Mathematical proof; Bifurcation; Fixed point; Computer science; Nonlinear system","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00132283,0.0002785219,0.0006295257,0.0002405825,0.0001607145,0.00006699474,0.001034692,0.0003245338,0.00003978181],"category_scores_gemma":[0.001211666,0.0002502597,0.0002848742,0.0003474815,0.0001949689,0.0001475132,0.0005844186,0.0006403741,0.00001474299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001378526,"about_ca_system_score_gemma":0.000173518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002426783,"about_ca_topic_score_gemma":0.0003319994,"domain_scores_codex":[0.9975014,0.0008965585,0.0005610097,0.000599646,0.0001988086,0.0002425413],"domain_scores_gemma":[0.9953074,0.00163305,0.001266815,0.001389108,0.0003409706,0.00006264192],"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.0007872484,0.006117213,0.0216743,0.002878082,0.0009598933,0.0005182717,0.008317561,0.02125695,0.0009399379,0.8445256,0.001227612,0.09079732],"study_design_scores_gemma":[0.00124798,0.0001482018,0.04683621,0.0006135291,0.0003799011,0.000004427764,0.0001033612,0.1142839,0.0002489306,0.8357115,0.00004009208,0.0003819454],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5047199,0.00001196637,0.4934241,0.0001242458,0.0003208701,0.0008064979,0.00001972043,0.00003735721,0.0005353968],"genre_scores_gemma":[0.9858711,0.00002378511,0.01362342,0.00002034829,0.0001008336,0.000004763857,0.00006296275,0.0000249969,0.0002677258],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4811513,"threshold_uncertainty_score":0.999995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3884802507878901,"score_gpt":0.3190944731095278,"score_spread":0.06938577767836229,"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."}}