{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009473464,0.0004311118,0.0005386206,0.001029256,0.001335733,0.0009416896,0.0007497911,0.0009999402,0.003563819],"category_scores_gemma":[0.008722893,0.0003343764,0.0004701673,0.0004688585,0.002982486,0.001928908,0.002959913,0.001311917,0.0002815671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003013932,"about_ca_system_score_gemma":0.0006405031,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003467014,"about_ca_topic_score_gemma":0.0003173439,"domain_scores_codex":[0.9996452,0.0000907315,0.00003117212,0.00005654995,0.0001468888,0.00002936135],"domain_scores_gemma":[0.9961327,0.002615406,0.0003199209,0.000371797,0.0003761846,0.0001839384],"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.0003622627,0.0002172612,0.006666571,0.0005013669,0.000066473,0.001880589,0.001201799,0.04722405,0.04281159,0.8569634,0.002451114,0.03965347],"study_design_scores_gemma":[0.00008074911,0.0001651573,0.001283228,0.00005457857,0.00002770879,0.001189553,0.0003011235,0.6944327,0.03020445,0.269406,0.002796154,0.00005861377],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.507174,0.0004349619,0.4798689,0.00106225,0.0001113566,0.0001167187,0.0001189776,0.0007131929,0.01039968],"genre_scores_gemma":[0.8823478,0.0002132362,0.1148722,0.0001048616,0.00004846938,0.00008742212,0.0001183293,0.0001009629,0.002106705],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003563819,"threshold_uncertainty_score":0.01192218,"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."}}