{"id":"W337437596","doi":"10.1007/978-3-642-57172-5_6","title":"ODE Software that Computes Guaranteed Bounds on the Solution","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computational science and engineering","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Ode; Ordinary differential equation; Solver; Computer science; Initial value problem; Software; Applied mathematics; Algorithm; Mathematics; Differential equation; Programming language; Mathematical analysis","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.0005743982,0.0002809895,0.0002392583,0.0002773651,0.0003027424,0.0003430384,0.0007659011,0.0001173866,0.00001542263],"category_scores_gemma":[0.0001771545,0.0002020548,0.00005790474,0.0003389626,0.0002470876,0.0002059134,0.0001783838,0.0004847464,0.00001126931],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001225803,"about_ca_system_score_gemma":0.0001287677,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001190578,"about_ca_topic_score_gemma":0.000001748261,"domain_scores_codex":[0.9980929,0.00001576365,0.0002072423,0.0005585878,0.0007811389,0.0003443502],"domain_scores_gemma":[0.9982405,0.001280419,0.0000707682,0.0002480311,0.00007666255,0.0000835676],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003224207,0.00001064011,0.00001231898,0.00001593811,0.00001016623,0.00001405453,0.0001967629,0.4876934,0.00004951104,0.1515961,0.00002104629,0.3603768],"study_design_scores_gemma":[0.00008336751,0.0000521737,0.0004495248,0.000179748,0.000003140556,0.00002801378,3.706819e-7,0.74449,0.00006038495,0.251304,0.003078344,0.0002709096],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001401571,0.0003641051,0.9953458,0.001927069,0.0003782916,0.0001496102,0.000004568029,0.0001134182,0.001577034],"genre_scores_gemma":[0.2144402,0.00007723259,0.7821426,0.002769294,0.0003440861,0.0000153555,0.000008248224,0.00003939704,0.0001636121],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3601059,"threshold_uncertainty_score":0.8239557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02082231580631103,"score_gpt":0.2397656669589349,"score_spread":0.2189433511526238,"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."}}