Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller. Using Taylor Models in Exact Real Arithmetic. In Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap, editors, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Volume 9582 of Lecture Notes in Computer Science, pages 474-488, Springer, 2015. [doi]
Abstract is missing.