{"id":"W1850700917","doi":"10.48550/arxiv.0810.4196","title":"Interval Semantics for Standard Floating-Point Arithmetic","year":2008,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Arithmetic; Interval (graph theory); Semantics (computer science); Floating point; Point (geometry); Interval arithmetic; Mathematics; Computer science; Programming language; Combinatorics; Mathematical analysis; Geometry","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002111905,0.0007609069,0.0005632035,0.001277802,0.001044828,0.004317383,0.001561078,0.001078267,0.004671725],"category_scores_gemma":[0.004904191,0.0004503686,0.000934532,0.001491137,0.003873313,0.005859547,0.001826483,0.002532549,0.001319221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001197064,"about_ca_system_score_gemma":0.0009449476,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006819961,"about_ca_topic_score_gemma":0.0005458994,"domain_scores_codex":[0.9976709,0.000492667,0.0003057861,0.0003344532,0.00103904,0.0001571045],"domain_scores_gemma":[0.9985912,0.0005229519,0.0001263029,0.0002807279,0.0004023773,0.00007634363],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001430188,0.000005561172,0.0000304618,0.0000402704,0.000003225012,0.0000276677,0.0001473416,0.00161317,0.0005135355,0.9904872,0.0005564663,0.00656093],"study_design_scores_gemma":[0.00001158458,0.00001303838,0.00002993651,0.00003166633,0.000006350199,0.00004686732,0.00004871405,0.008079072,0.0008298655,0.9756392,0.01525352,0.00001024463],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009463379,0.001461868,0.9605168,0.0005084691,0.000359415,0.00005790952,0.0002497009,0.000524056,0.02685839],"genre_scores_gemma":[0.41366,0.002557039,0.569796,0.0006640167,0.000920772,0.0005089644,0.0007628746,0.0006233227,0.01050708],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004671725,"threshold_uncertainty_score":0.01562846,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07228357587110007,"score_gpt":0.3282895159959466,"score_spread":0.2560059401248466,"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."}}