Martin Berz, Kyoko Makino. Rigorous global search using taylor models. In Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas, editors, Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009. pages 11-20, ACM, 2009. [doi]
Abstract is missing.