Intervalo de números binarios de coma flotante con signo y exponente común
En ingeniería de software y análisis numérico , una binada es un conjunto de números en formato binario de punto flotante que tienen el mismo signo y exponente. En otras palabras, una binada es el intervalo o
para algún valor entero , es decir, el conjunto de números reales o números en coma flotante del mismo signo tales que . [1] [2] [3]
Algunos autores utilizan la convención del intervalo cerrado en lugar de un intervalo medio abierto, [4]
a veces utilizando ambas convenciones en un solo artículo. [5]
Algunos autores tratan además cada una de las diversas cantidades especiales, como NaN , infinitos y ceros, como su propia binada, [6]
o de manera similar para el intervalo excepcional de números subnormales . [7]
^ Müller, Jean-Michel; Brunie, Nicolás; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vicente; Melquiond, Guillaume; Revol, Nathalie ; Torres, Serge (2018). Manual de aritmética de coma flotante (2ª ed.). Birkhäuser. págs. 418–419. doi :10.1007/978-3-319-76526-6. ISBN 978-3-319-76525-9.
^ Lefèvre, Vicente; Müller, Jean-Michel (2001). "Peores casos para el correcto redondeo de las funciones elementales en doble precisión" (PDF) . 15º Simposio IEEE sobre aritmética informática . ARITH 2001. IEEE. págs. 111-118. doi :10.1109/ARITH.2001.930110. ISSN 1063-6889.
^ Benet, Luis; Ferranti, Luca; Revol, Nathalie (2023). "Un marco para probar bibliotecas de aritmética de intervalos y su cumplimiento con IEEE 1788-2015". Concurrencia y Computación: Práctica y Experiencia : e7856. arXiv : 2307.06953 . doi : 10.1002/cpe.7856 . ISSN 1532-0626.
^ Coonen, Jerome T. (1981). "Subdesbordamiento y los números desnormalizados". Computadora . IEEE. 14 (3): 75–87. doi :10.1109/CM.1981.220382. ISSN 0018-9162.
^ Hanrot, Guillaume; Lefèvre, Vicente; Stehlé, Damián; Zimmermann, Paul (2007). "Peores casos de una función periódica para argumentos amplios". 18º Simposio IEEE sobre aritmética informática . ARITH 2007. págs. 133-140. doi :10.1109/ARITH.2007.37. ISSN 1063-6889.
^ Thomas, David B. (2015). "Un método de uso general para la aproximación de funciones de punto flotante fielmente redondeadas en FPGA". 22º Simposio IEEE sobre aritmética informática . ARITH 2015. págs. 42–49. doi :10.1109/ARITH.2015.27. ISSN 1063-6889.
^ Agrawal, Ankur; Mueller, Sylvia M.; Fleischer, Bruce M.; Choi, Jungwook; Wang, Naigang; Sol, Xiao; Gopalakrishnan, Kailash (2019). "DLFloat: un formato de punto flotante de 16 b diseñado para inferencia y entrenamiento de aprendizaje profundo". 26º Simposio IEEE sobre aritmética informática . ARITH 2019. págs. 92–95. doi :10.1109/ARITH.2019.00023. ISSN 1063-6889.