validated numerics,a short introduction to rigorous computations

warwick tucker · princeton univ pr