@book{ramdani:hal-01171487, TITLE = {{Interval Methods and Applications}}, AUTHOR = {Ramdani, Nacim and Jaulin, Luc}, URL = {https://hal.science/hal-01171487}, PUBLISHER = {{Mathematics in Computer Science}}, VOLUME = {8}, NUMBER = {3-4}, YEAR = {2015}, MONTH = Jun, KEYWORDS = {Automatic ; interval methods}, HAL_ID = {hal-01171487}, HAL_VERSION = {v1}, }