Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz

Numerical Toolbox for Verified Computing I - 1993 - Springer Berlin Heidelberg 1993 - Springer Series in Computational Mathematics .

9783642784231


Mathematics and Statistics