@article {174343, title = {IEEE Standard for Interval Arithmetic (Simplified)}, journal = {IEEE Std 1788.1-2017}, year = {2018}, note = {

Scope:
This standard is a simplified version and a subset of the IEEE Std 1788TM-2015 for Interval Arithmetic and includes those operations and features of the latter that in the the editors{\textquoteright} view are most commonly used in practice. IEEE Std 1788.1-2017 specifies interval arithmetic operations based on intervals whose endpoints are IEEE Std 754TM-2008 binary64 floating point numbers and a decoration system for exception-free computations and propagation of properties of the computed results.A program built on top of an implementation of IEEE Std 1788.1-2017 should compile and run, and give identical output within round off, using an implementation of IEEE Std 1788-2015, or any superset of the former.

Purpose:
Compared to IEEE Std 1788-2015, this standard aims to be minimalistic, yet to cover much of the functionality needed for interval computations. As such, it is more accessible and will be much easier to implement, and thus will speed up production of implementations.

}, month = {January}, pages = {1{\textendash}38}, abstract = {

This standard is a simplified version and a subset of the IEEE Std 1788TM-2015 for Interval Arithmetic and includes those operations and features of the latter that in the the editors view are most commonly used in practice. IEEE Std 1788.1-2017 specifies interval arithmetic operations based on intervals whose endpoints are IEEE Std 754TM-2008 binary64 floating-point numbers and a decoration system for exception-free computations and propagation of properties of the computed results.A program built on top of an implementation of IEEE Std 1788.1-2017 should compile and run, and give identical output within round off, using an implementation of IEEE Std 1788-2015, or any superset of the former.Compared to IEEE Std 1788-2015, this standard aims to be minimalistic, yet to cover much of the functionality needed for interval computations. As such, it is more accessible and will be much easier to implement, and thus will speed up production of implementations.

}, doi = {10.1109/IEEESTD.2018.8277144}, url = {https://ieeexplore.ieee.org/document/8277144}, author = {Nathalie Revol and R. Baker Kearfott and William Edmonson and J. Wolff von Gudenberg and Guillaume Melquiond and George Corliss and Hend Dawood and Christian Keil and Michel Hack and Ned Nedialkov and Alexandru Amaricai and Ayman Bakr and Ahmed Belhani and Gerd Bohlender and Gilles Chabert and Rudnei Dias da Cunha and John Pryce and Bo Einarsson and Alan Eliasen and Hossam A. H. Fahmy and Richard Fateman and Scott Ferson and Haitham Gad and Kathy Gerber and Alexandre Goldsztejn and Frederic Goualard and Michael Groszkiewicz and Mohamed Guerfel and Robert Hanek and Behnam Hashemi and Nathan Hayes and Oliver Heimlich and Timothy Hickey and Werner Hofschuster and Chenyi Hu and Trevor Jackson and Malgorzata Jankowska and Michel Kieffer and Walter Kramer and Vladik Kreinovich and Ulrich Kulisch and Dorina Lanza and David Lester and Dominique Lohez and Wolfram Luther and Amin Maher and Svetoslav Markov and Gunter Mayer and Jean-Pierre Merlet and Jean-Michel Muller and Humberto Munoz and Jose Antonio Munoz and Kaori Nagatou and Mitsuhiro Nakao and Markus Neher and Marco Nehmeier and Diep Nguyen and Michael Nooner and Shinichi Oishi and Sylvain Pion and Antony Popov and Evgenija Popova and Tarek Raissi and Nacim Ramdani and Andreas Rauh and Gaby Dos Reis and Michael Schulte and Kyarash Shahriari and Stefan Siegel and Iwona Skalna and Mark Stadtherr and James Stine and Pipop Thienprapasith and Warwick Tucker and Alfredo Vaccaro and Maarten van Emden and Erik-Jan van Kampen and Van Snyder and Josep Vehi and Julio Villalba-Moreno and G. William Walster and Wang, Yan and Lee Winter and Pierre-Alain Yvars and Sergei Zhilin and Mohamed Zidan and Dan Zuras} }