Bøger af Dirk Laurie

Provides concrete examples of how to justify the validity of every single digit of a numerical answer. Methods range from carefully designed computer experiments to a posteriori error estimates and computer-assisted proofs based on interval arithmetic.