"Hammer R., Hocks M., Kulisch U., Ratz D. Numerical toolbox for verified computing 1 (Springer, 1993)(KA)(T)(356s)_MN_.djvu" - читать интересную книгу автора