Brauße, Franz; Korovina, Margarita; Müller, Norbert Using Taylor models in exact real arithmetic. (English) Zbl 06585049 Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). Lecture Notes in Computer Science 9582, 474-488 (2016). Summary: Software libraries for exact real arithmetic implement the theory of computability on non-denumerable sets. Usually they are based on interval arithmetic. We discuss enhancements where the interval arithmetic is augmented by versions of Taylor models. Although this has no effect on the abstract notion of computability, the efficiency of implementations can be improved dramatically.For the entire collection see [Zbl 1334.68018]. MSC: 68 Computer science 65 Numerical analysis Software:iRRAM; MPFR; raSAT PDF BibTeX XML Cite \textit{F. Brauße} et al., Lect. Notes Comput. Sci. 9582, 474--488 (2016; Zbl 06585049) Full Text: DOI