Concepedia

Self-validating methods

Siegfried M. Rump

Linear Algebra and its Applications · 2001 · 48 citations · 7 references

DOI

References

7

Chaos in the Lorenz equations: a computer-assisted proof

Konstantin Mischaikow, Marian Mrożek · Bulletin of the American Mathematical Society · 1995 · 246 citations · Full text

, , +16

Global optimization using interval analysis: The one-dimensional case

Eskil Hansen · Journal of Optimization Theory and Applications · 1979 · 138 citations

, , +8

Global Optimization Using Interval Analysis: The One-Dimensional Case

E. R. Nansen · 1979 · 93 citations

, , +8

Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

Konstantin Mischaikow, Marian Mrożek · Mathematics of Computation · 1998 · 81 citations · Full text

, , +15

The Kepler conjecture

Thomas Hales · ArXiv.org · 1998 · 79 citations · Full text

, , +11