95-294 Fefferman C., Seco L. A.
Interval arithmetic in quantum mechanics (177K, Postscript) Jun 21, 95
Abstract , Paper (src), View paper (auto. generated ps), Index of related papers

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

Files: 95-294.src( desc , 95-294.ps )