{"id":"W3096014207","doi":"10.1007/s10884-020-09908-6","title":"A General Method for Computer-Assisted Proofs of Periodic Solutions in Delay Differential Problems","year":2020,"lang":"en","type":"article","venue":"Journal of Dynamics and Differential Equations","topic":"Numerical methods for differential equations","field":"Mathematics","cited_by":21,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Delay differential equation; Mathematical proof; Ordinary differential equation; Differential equation; Class (philosophy); Polynomial; Space (punctuation); Partial differential equation; Mathematical analysis; Fourier series; Applied mathematics; Computer science","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.0003959072,0.0002631228,0.0008545407,0.0003255433,0.0001794314,0.00008610693,0.000268391,0.0001543179,0.00005177677],"category_scores_gemma":[0.0008901921,0.0002258689,0.0003956471,0.0004065759,0.0001079675,0.0001676852,0.0001279339,0.0003521497,4.153478e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009533133,"about_ca_system_score_gemma":0.0001578727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003517946,"about_ca_topic_score_gemma":0.0001414751,"domain_scores_codex":[0.997193,0.0003293735,0.001475213,0.0002616004,0.0003990295,0.0003417559],"domain_scores_gemma":[0.9970602,0.001113187,0.0009764378,0.0001715582,0.0004225347,0.0002560903],"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.0007308761,0.00429569,0.001066707,0.001537008,0.001154034,0.00001103761,0.005740194,0.005479578,0.05117395,0.6758001,0.0001759412,0.2528349],"study_design_scores_gemma":[0.002549198,0.0008110735,0.002508557,0.0001203445,0.0004361217,0.00001876517,0.0001046239,0.8938438,0.0001192425,0.09922823,0.00002592291,0.0002340795],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1251228,0.00005891815,0.8727315,0.0009894408,0.0003067359,0.0006050967,0.0001514596,0.00001844367,0.00001557301],"genre_scores_gemma":[0.5084953,0.00001685181,0.4911255,0.0000261454,0.0002109118,0.00003383979,0.00003751439,0.00003005593,0.00002395022],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8883643,"threshold_uncertainty_score":0.9210666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08545217977584246,"score_gpt":0.3497903920868391,"score_spread":0.2643382123109966,"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."}}