{"id":"W4408534475","doi":"10.1088/1361-6544/adbcf0","title":"The 2D Gray–Scott system of equations: constructive proofs of existence of localized stationary patterns","year":2025,"lang":"en","type":"article","venue":"Nonlinearity","topic":"Nonlinear Dynamics and Pattern Formation","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Mathematical proof; Mathematics; Gray (unit); Constructive; Calculus (dental); Mathematical analysis; Pure mathematics; Geometry; Computer science","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.0005020773,0.0000882713,0.0002104425,0.00009244441,0.00009010872,0.0000222033,0.0005299711,0.00005375271,0.000001496537],"category_scores_gemma":[0.0001000892,0.00006745527,0.00007318838,0.000375041,0.0001545367,0.0001960527,0.0001568589,0.0001015528,0.000001119156],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003751656,"about_ca_system_score_gemma":0.0002323868,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002286736,"about_ca_topic_score_gemma":0.00009493406,"domain_scores_codex":[0.9987189,0.0001238254,0.000592962,0.0001539643,0.0002957087,0.0001145999],"domain_scores_gemma":[0.9981351,0.0004022785,0.0004380167,0.0004468551,0.0005556881,0.00002208413],"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.00006864334,0.0002436623,0.04791215,0.001237009,0.0001189039,0.000001416051,0.001166022,0.0008328779,0.0007170169,0.8890032,0.00001482865,0.05868431],"study_design_scores_gemma":[0.0005611057,0.00008675042,0.01451321,0.0003673329,0.00002115135,0.00000304959,0.0004759217,0.9699346,0.006012498,0.007836004,0.0000935916,0.00009479638],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.18909,0.0000904898,0.8093029,0.0001565868,0.000248021,0.0003049271,0.0002037411,0.00002299873,0.0005803079],"genre_scores_gemma":[0.9680448,0.00001616823,0.03183368,0.00001959705,0.0000122325,0.0000107764,0.00003011344,0.000002992724,0.00002961654],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9691017,"threshold_uncertainty_score":0.2750746,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01300096067472435,"score_gpt":0.2679291153844766,"score_spread":0.2549281547097523,"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."}}