On Friday, 18 September 2015 at 03:19:26 UTC, Nick B wrote:
Can you describe what YOU mean by 'verified numerical computing', as I could not find a good description of it, and why is it important to have it.
Verified numerical computations provide results that are guaranteed to be without roundoff errors. A bit misleading term, perhaps.
