Warwick Tucker

• Scientific Computing, Computer Arithmetic, and Validated Numerics
• Scientific Computing, Computer Arithmetic, and Validated Numerics
• Validated Numerics