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