@article{jaulin:hal-00531534, TITLE = {{Resolution of nonlinear interval problems using symbolic interval arithmetic}}, AUTHOR = {Jaulin, Luc and Chabert, Gilles}, URL = {https://ensta-bretagne.hal.science/hal-00531534}, NOTE = {WOS}, JOURNAL = {{Engineering Applications of Artificial Intelligence}}, PUBLISHER = {{Elsevier}}, VOLUME = {23}, NUMBER = {6}, PAGES = {1035-1049}, YEAR = {2010}, DOI = {10.1016/j.engappai.2009.06.002}, KEYWORDS = {Interval analysis ; Quantified problems ; Symbolic intervals ; Constraint propagation ; Nonlinear problems}, HAL_ID = {hal-00531534}, HAL_VERSION = {v1}, }