2 results for '"Warwick Tucker"'

This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics...

A comprehensive, self-contained primer on validated numericsThis textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines...