{"id":"W181038668","doi":"10.1023/a:1014798618404","title":"An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE","year":2001,"lang":"en","type":"article","venue":"Reliable Computing","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":120,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; McMaster University","funders":"Information Technology Research Centre","keywords":"A priori and a posteriori; Interval (graph theory); Uniqueness; Ordinary differential equation; Mathematics; Initial value problem; Enclosure; Computer science; Mathematical optimization; Applied mathematics; Differential equation; Algorithm; Mathematical analysis; Combinatorics","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.002178134,0.000131333,0.0003084022,0.00004798988,0.0002331052,0.00006197303,0.0005932447,0.00005997618,3.140502e-7],"category_scores_gemma":[0.0002423171,0.0001000722,0.00006319507,0.0003836915,0.00005574855,0.0003990351,0.0002069657,0.00009332353,3.749867e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002610466,"about_ca_system_score_gemma":0.00003324584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003744468,"about_ca_topic_score_gemma":0.000005622706,"domain_scores_codex":[0.9984151,0.0004302007,0.0003291917,0.0004163456,0.0001392512,0.0002698905],"domain_scores_gemma":[0.9980379,0.0008327288,0.0003075511,0.0004294176,0.0003191438,0.00007323418],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002978991,0.0001403505,0.0003564081,0.0001576967,0.00001902214,3.594677e-7,0.0008550948,0.008654424,0.04846746,0.01319125,0.000002081837,0.928126],"study_design_scores_gemma":[0.0003728496,0.0008033318,0.001453126,0.0001372042,0.00001634947,0.000007770965,0.00009356916,0.915466,0.06245414,0.01902888,0.00004312873,0.0001236728],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2173654,0.00003394393,0.7818151,0.0000455144,0.0002259454,0.000452538,0.000003370194,0.0000390399,0.00001923348],"genre_scores_gemma":[0.3021303,0.000001439332,0.6977314,0.00004288849,0.00006475591,0.0000138316,0.000001693919,0.000009759338,0.000003922088],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9280024,"threshold_uncertainty_score":0.4080825,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03066109418581418,"score_gpt":0.3572135145938523,"score_spread":0.3265524204080381,"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."}}