Validated numerics : a short introduction to rigorous computations / - Tucker, Warwick, (Princeton University Press,, 2011)