Электронная книга

Validated Numerics: A Short Introduction to Rigorous Computations