Mathematical Preliminaries

Springer Series in Computational Mathematics - Numerical Toolbox for Verified Computing I ◽

10.1007/978-3-642-78423-1_3 ◽

1993 ◽

pp. 31-53

Author(s):

Ulrich Kulisch ◽

Rolf Hammer ◽

Dietmar Ratz ◽

Matthias Hocks

Download Full-text