1.
Validated Numerics: A Short Introduction to Rigorous Computations
by Tucker, Warwick
ISBN-13: 9780691147819
ISBN-10: 0691147817
Hardcover, 2011
List Price: $45.00
2.
Auto-Validating Numerical Methods
by Tucker, Warwick
ISBN-13: 9783034603010
ISBN-10: 3034603010
2010
