Scientific computation with automatic result verification - Kulisch, Ulrich [ed.]; Stetter, Hans J. [ed.] (New York Springer-Verlag, 1988)
Keywords: Numerical calculations; Algorithms