@article{herrero:hal-00746047, TITLE = {{An Efficient Implementation of SIVIA Algorithm in a High-Level Numerical Programming Language}}, AUTHOR = {Herrero, Pau and Georgiou, Pantelis and Toumazou, Christofer and Delaunay, Beno{\^i}t and Jaulin, Luc}, URL = {https://ensta-bretagne.hal.science/hal-00746047}, JOURNAL = {{Reliable Computing}}, PUBLISHER = {{Springer Verlag}}, PAGES = {239-251}, YEAR = {2012}, MONTH = Oct, KEYWORDS = {Interval analysis ; set inversion ; high-level numerical language ; Matlab AMS subject classi cations: 65-00}, HAL_ID = {hal-00746047}, HAL_VERSION = {v1}, }