Fefferman C., Seco L. A.
Interval arithmetic in quantum mechanics
(177K, Postscript)

ABSTRACT.  This is an expository paper on a theorem relevant to quantum mechanics
which was proved using an interval arithmetic implementation on
a computer.