Auto-Validating Numerical Methods by Warwick Tucker