Validated Numerics: A Short Introduction to Rigorous Computations a Short Introduction to Rigorous Computations (Hardcover)