{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00186451,0.0005299056,0.0007252041,0.0007274186,0.0006015647,0.0009241389,0.00148933,0.001110762,0.002400133],"category_scores_gemma":[0.005458275,0.0002791918,0.0006304113,0.0004104624,0.0012463,0.001085174,0.001213717,0.001467925,0.0003087985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004264119,"about_ca_system_score_gemma":0.0008832511,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001374112,"about_ca_topic_score_gemma":0.0009644162,"domain_scores_codex":[0.9991873,0.0002680305,0.00003711384,0.00007522175,0.0003775581,0.00005475621],"domain_scores_gemma":[0.9977323,0.001259038,0.0001596249,0.0003622744,0.0003941947,0.00009260891],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003085218,0.000155375,0.00159557,0.000388103,0.0000746643,0.0002479795,0.000284014,0.686672,0.03748213,0.1737099,0.001226782,0.09785501],"study_design_scores_gemma":[0.000007612843,0.00004918037,0.00009649935,0.000009422238,0.000006218763,0.00002081574,0.00000896075,0.9923366,0.002369498,0.004427173,0.0006599687,0.000008094145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01386938,0.00008717786,0.9831087,0.00003932811,0.0000525515,0.00003640733,0.00002012787,0.0001954444,0.002590775],"genre_scores_gemma":[0.4417913,0.0001704758,0.5557231,0.00007034423,0.00003981084,0.0001589358,0.00007341794,0.000113683,0.001859052],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002400133,"threshold_uncertainty_score":0.009860575,"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."}}