{"id":"W2896220636","doi":"10.3934/jcd.2018003","title":"Computer-assisted proofs for radially symmetric solutions of PDEs","year":2018,"lang":"en","type":"article","venue":"Journal of Computational Dynamics","topic":"Algebraic and Geometric Analysis","field":"Mathematics","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Université de Montréal; Simon Fraser University","funders":"Division of Mathematical Sciences; Natural Sciences and Engineering Research Council of Canada; Nemzeti Kutatási Fejlesztési és Innovációs Hivatal; Simon Fraser University; Hungarian Scientific Research Fund; Nederlandse Organisatie voor Wetenschappelijk Onderzoek","keywords":"Mathematical proof; Banach space; Nonlinear system; Mathematics; Partial differential equation; Contraction (grammar); Space (punctuation); Applied mathematics; Computer science; Mathematical analysis; Algebra over a field; Pure mathematics; Geometry; Physics","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.0007872567,0.0001225364,0.0004396907,0.0008981571,0.0001416758,0.0000265388,0.0002470723,0.00007669008,0.00002504315],"category_scores_gemma":[0.0006857017,0.000105748,0.0003451944,0.001282703,0.000123956,0.000131175,0.00004163641,0.0001139653,0.000003004227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001454634,"about_ca_system_score_gemma":0.0002893504,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002969299,"about_ca_topic_score_gemma":0.00001458631,"domain_scores_codex":[0.9982547,0.00005667852,0.0008976709,0.0001066954,0.0005030592,0.0001811695],"domain_scores_gemma":[0.9948254,0.001736014,0.00111656,0.000105571,0.002128711,0.00008775428],"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.0001566457,0.0008202993,0.0008351008,0.0001769018,0.001198602,0.000005368735,0.0002818454,0.02038147,0.000007862828,0.9072463,0.005898153,0.06299146],"study_design_scores_gemma":[0.0006995788,0.000550342,0.004472879,0.00004264394,0.0002319731,0.00007031901,0.00005127699,0.5400244,0.000004354838,0.453637,0.0001219471,0.00009326366],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0634464,0.00008570802,0.9353903,0.0003554907,0.0002673142,0.0001348264,0.00004115847,0.00001130202,0.0002675185],"genre_scores_gemma":[0.670365,0.000004020174,0.3291294,0.0000390067,0.0003514567,0.000001441022,0.00001619237,0.00001242827,0.00008105437],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6069186,"threshold_uncertainty_score":0.431228,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04272969058764072,"score_gpt":0.3129869076163587,"score_spread":0.270257217028718,"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."}}