Workshop
Levels of Rigor in Numerical Computation: Mathematical Concepts and Software
- Folkmar Bornemann (TU Munich, Germany)
Abstract
We review some concepts how modern mathematical software could assess the accuracy of numerical computations, short of fully rigorous methods, to answer that pending questions: How many digits are correct, really? We demonstrate the possibilities with some case studies and display a new concept, infinite dimensional numerical linear algebra, which only recently has become feasible for effective coding using Julia.