×

zbMATH — the first resource for mathematics

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
Full Text: DOI