Verification methods: rigorous results using floating-point arithmetic

By Siegfried M. Rump. Acta Numerica, 2010

331 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/90b53211f8eaa6f33cb46e981997a0992326f02f

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Thomas Y. Hou
2. De Huang
3. Jiajie Chen
4. Siegfried M. Rump
5. Knut-Andreas Lie
6. Yalchin R. Efendiev
7. Marco Discacciati
8. Alfio Maria Quarteroni

In Hardware and Architecture

1. Thomas Y. Hou
2. De Huang
3. Jiajie Chen
4. Siegfried M. Rump

Citations in the corpus

• On the Finite Time Blowup of the De Gregorio Model for the 3D Euler Equations (2019, methodology): “To make sure that our computerassisted proof is rigorous, we adopt the standard method of interval arithmetic (see [40, 44]).”
• Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (2011, background): “This paper elaborates the details on an idea mentioned in the author’s overview article to be published in Acta Numerica [19] on verification methods.”