{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002558496,0.001782423,0.001392369,0.00205433,0.001061575,0.001446115,0.003141287,0.00153216,0.01317072],"category_scores_gemma":[0.01008099,0.0009722724,0.002089657,0.001402345,0.001569093,0.002788921,0.003640284,0.003541664,0.004953285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007884714,"about_ca_system_score_gemma":0.00135154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008547079,"about_ca_topic_score_gemma":0.001224384,"domain_scores_codex":[0.9986554,0.000427906,0.0001270045,0.0002157603,0.0004883323,0.00008546025],"domain_scores_gemma":[0.9955639,0.002521934,0.0001534934,0.000951804,0.0006583541,0.0001506485],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000522221,0.0003644666,0.0006749616,0.0009344035,0.0002688156,0.0005763205,0.0003113092,0.0496928,0.05818477,0.431028,0.02034493,0.4370971],"study_design_scores_gemma":[0.0002922474,0.0002285194,0.0004323373,0.0001352654,0.000135956,0.000727969,0.0000461396,0.5572425,0.01816648,0.3647331,0.05772121,0.0001383071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005969005,0.00006443034,0.9976333,0.00004840502,0.00007381672,0.00004773248,0.00004684337,0.0004322865,0.001056264],"genre_scores_gemma":[0.02971403,0.0002347982,0.961785,0.0001373212,0.0001432561,0.0004524318,0.0002374337,0.0007091009,0.006586646],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01317072,"threshold_uncertainty_score":0.04406047,"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."}}