1. A computer-assisted proof of the Feigenbaum conjectures;Lanford;Bull. Amer. Math. Soc. (N.S.),1982
2. The Lorenz attractor exists;Tucker;C. R. Acad. Sci., Paris I,1999
3. A rigorous ODE solver and Smale’s 14th problem;Tucker;Found. Comput. Math.,2002
4. Relativistic stability of matter I;Fefferman;Rev. Mat. Iberoam.,1986
5. C.L. Fefferman, L.A. Seco, Interval arithmetic on quantum mechanics, in: Applications of Interval Computations, El Paso, TX, 1995, p. 145167, Appl. Optim., 3.