Validated Numerics A Short Introduction To Rigorous Computations