A Posteriori Existence in Numerical Computations

Christoph Ortner. A Posteriori Existence in Numerical Computations. SIAM J. Numerical Analysis, 47(4):2550-2577, 2009. [doi]

Abstract

Abstract is missing.