Blanck, J. Exact real arithmetic using centred intervals and bounded error terms. (English) Zbl 1080.65039 J. Log. Algebr. Program. 66, No. 1, 50-67 (2006). MSC: 65G30 65G40 PDFBibTeX XMLCite \textit{J. Blanck}, J. Log. Algebr. Program. 66, No. 1, 50--67 (2006; Zbl 1080.65039) Full Text: DOI
Blanck, J. Efficient exact computation of iterated maps. (English) Zbl 1080.03041 J. Log. Algebr. Program. 64, No. 1, 41-59 (2005). MSC: 03F60 37D45 PDFBibTeX XMLCite \textit{J. Blanck}, J. Log. Algebr. Program. 64, No. 1, 41--59 (2005; Zbl 1080.03041) Full Text: DOI
Ménissier-Morain, Valérie Arbitrary precision real arithmetic: design and algorithms. (English) Zbl 1080.03042 J. Log. Algebr. Program. 64, No. 1, 13-39 (2005). MSC: 03F60 65G99 PDFBibTeX XMLCite \textit{V. Ménissier-Morain}, J. Log. Algebr. Program. 64, No. 1, 13--39 (2005; Zbl 1080.03042) Full Text: DOI