{"id":"W2323454677","doi":"10.1017/s0956792514000308","title":"Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof","year":2014,"lang":"en","type":"article","venue":"European Journal of Applied Mathematics","topic":"Quantum chaos and dynamical systems","field":"Physics and Astronomy","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Banach space; Computer-assisted proof; Chebyshev polynomials; Mathematics; Chebyshev filter; Contraction (grammar); Contraction mapping; Mathematical analysis; Space (punctuation); Applied mathematics; Pure mathematics; Mathematical physics; Fixed point; Computer science; Algorithm","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.0009874564,0.0001119307,0.0003646481,0.0000395404,0.00008173499,0.00001641314,0.0003003507,0.00001487277,0.00003430247],"category_scores_gemma":[0.00001420414,0.00007258293,0.0001789291,0.0001241397,0.0001047902,0.00003234706,0.00009999242,0.0001541107,0.000006923301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001201308,"about_ca_system_score_gemma":0.00004656768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002204492,"about_ca_topic_score_gemma":3.667561e-7,"domain_scores_codex":[0.9984472,0.00009710627,0.0008512713,0.00008119037,0.0003868598,0.0001363078],"domain_scores_gemma":[0.9980537,0.000183527,0.001263427,0.0002271547,0.0002076073,0.00006460995],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000158343,0.002945834,0.0003457959,0.0005833344,0.0005829532,0.000003396035,0.003950814,0.01393892,0.03108559,0.922765,0.001599564,0.02204048],"study_design_scores_gemma":[0.01364051,0.002325499,0.01049887,0.004892292,0.001113042,0.0001186622,0.001527135,0.7879135,0.01806981,0.1541668,0.004368435,0.00136549],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2452179,0.0000132221,0.7366059,0.0001613946,0.0002644123,0.0002599354,0.00002123575,0.00000675469,0.01744922],"genre_scores_gemma":[0.9758741,1.923966e-7,0.02371992,0.0000155785,0.0003463617,9.731691e-7,0.000002155,0.00001508216,0.0000256246],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7739745,"threshold_uncertainty_score":0.2959846,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03024578979301758,"score_gpt":0.2203767888371406,"score_spread":0.190130999044123,"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."}}