Author:
Brauße Franz,Korovina Margarita,Müller Norbert
Publisher
Springer International Publishing
Reference17 articles.
1. Bauer, A., Kavkler, I.: Implementing real numbers with RZ. Electr. Notes Theor. Comput. Sci. 202, 365–384 (2008)
2. Blanck, J.: Efficient exact computation of iterated maps. J. Log. Algebr. Program. 64(1), 41–59 (2005)
3. Brattka, V., Hertling, P., Weihrauch, K.: A tutorial on computable analysis. New Computational Paradigms: Changing Conceptions of What is Computable, pp. 425–491. Springer, New York (2008)
4. Brauße, F., Korovina, M., Müller, N.T.: Towards using exact real arithmetic for initial value problems. In: PSI: 10th Ershov Informatics Conference, 25–27, Innopolis, Kazan, Russia, to appear in Lecture Notes in Computer Science (2015)
5. De Figueiredo, L.H., Stolfi, J.: Affine arithmetic: concepts and applications. Numerical Algorithms 37(1–4), 147–158 (2004)