
Bibliography 401
[442] G. Mayer, Epsilon-inflation in verification algorithms, J. Com. Appl. Math. 43 (1995),
147–169.
[443] G. Mayer, Epsilon-inflation with contractive interval functions, Appl. Math. 43 (1998),
241–254.
[444] G. Mayer, Beiträge zur Intervallrechnung, in: Lexikon der Mathematik, Vol. 3, pp. 19–
25, pp. 331–337, and others, Spektrum, Mannheim, 2000.
[445] G. Mayer and A. Frommer, A multisplitting method for verification and enclosure on a
parallel computer, in: Ch. Ullrich, Computer Arithmetic and Self-Validating Numerical
Methods, Proceedings of SCAN-89, invited papers, pp. 483–497, Academic Press, San
Diego, 1990.
[446] G. Mayer and J.