LEADER 01847nam 2200349 450 001 996278295303316 005 20231208102127.0 010 $a0-7381-9720-3 024 7 $a10.1109/IEEESTD.2015.7140721 035 $a(CKB)3780000000092855 035 $a(NjHacI)993780000000092855 035 $a(EXLCZ)993780000000092855 100 $a20231208d2015 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIEEE Std 1788-2015 $eIEEE standard for interval arithmetic /$fInstitute of Electrical and Electronics Engineers 210 1$aNew York, New York :$cIEEE,$d2015. 215 $a1 online resource (xiv, 79 pages) 330 $aThis standard specifies basic interval arithmetic (IA) operations selecting and following one of the commonly used mathematical interval models. This standard supports the IEEE 754 floating point formats of practical use in interval computations. Exception conditions are defined, and standard handling of these conditions is specified. Consistency with the interval model is tempered with practical considerations based on input from representatives of vendors, developers and maintainers of existing systems. The standard provides a layer between the hardware and the programming language levels. It does not mandate that any operations be implemented in hardware. It does not define any realization of the basic operations as functions in a programming language. 517 $aIEEE Std 1788-2015: IEEE Standard for Interval Arithmetic 606 $aInterval analysis (Mathematics) 615 0$aInterval analysis (Mathematics) 676 $a511.42 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a996278295303316 996 $aIEEE Std 1788-2015$92574031 997 $aUNISA