Taylor Forms—Use and Limits

Radial basis functions

M. D. Buhmann · Acta Numerica · 2000 · 1.6K citations

Computing, Computer Science, Computational Geometry +9

Applied interval analysis

Choice Reviews Online · 2002 · 1.3K citations

A computer-assisted proof of the Feigenbaum conjectures

Oscar E. Lanford · Bulletin of the American Mathematical Society · 1982 · 366 citations · Full text

Computing, Computer Science, Mathematics +6

Validated solutions of initial value problems for ordinary differential equations

Nedialko S. Nedialkov · Applied Mathematics and Computation · 1999 · 359 citations

Natural Sciences, Mathematics, Differential Equations +11

Self-validated numerical methods and applications

de Figueiredo · Medical Entomology and Zoology · 1997 · 341 citations

Computing, Computational Engineering, Mathematics +12