Validated Numerics by Warwick Tucker