Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz

C++ Toolbox for Verified Computing I - 1995 - Springer Berlin Heidelberg 1995

9783642796517


Mathematics and Statistics