Proving Conjectures by Use of Interval Arithmetic
Machine interval arithmetic has become an important tool in computer assisted proofs in analysis. Usually, an interval arithmetic computation is just one of many ingredients in such a proof. The purpose of this contribution is to highlight and to summarize the role of interval arithmetic in some outstanding results obtained in computer assisted analysis. ‘Outstanding’ is defined through the observation that the importance of a mathematical result is at least to some extent indicated by the fact that it has been formulated as a ‘conjecture’ prior to its proof.
KeywordsArithmetic Operation Interval Arithmetic Floating Point Floating Point Number Interval Vector
Unable to display preview. Download preview PDF.
- 1.M. Aigner and E. Behrends. Alles Mathematik. Vieweg, Braunschweig, 2000.Google Scholar
- 4.American National Standard Institute. IEEE standard for binary floating point arithmetic IEEE/ANSI 754-1985. Technical report, New York, 1985.Google Scholar
- 7.C. V. Boys. Soap Bubbles. Dover Publ. Inc., New York, 1959. (first edition 1911).Google Scholar
- 8.C. Camacho and L. de Figueiredo. The dynamics of the Jouanolou foliation on the complex projective 2-space. Ergodic Theory Dyn. Sys., to appear.Google Scholar
- 9.C. L. Fefferman and L. A. Seco. Interval arithmetic in quantum mechanics. In Kearfott, B. R. et al., editor, Applications olInterval Computations, volume 3 of Appl. Optim., pages 145-167. Kluwer, Dordrecht, 1995. Proceedings of an international workshop.Google Scholar
- 10.S. P. Ferguson. Sphere Packings, V. PhD thesis, Department of Mathematics, University of Michigan, 1997.Google Scholar
- 11.J. HaIes. The Kepler conjecture. Technical report, 1998. http://www.math.1sa.umich.edu/-hales/countdovn/.Google Scholar
- 15.R. B. Kearfott. Rigorous Global Search. Kluwer Academic Publishers, 1996.Google Scholar
- 18.R. Lohner. AWA: Software for the computation of guaranteed bounds for solutions of ordinary initial value problems. Technical report, Institut für Angewandte Mathematik, Universität Karlsruhe, 1994. Software available at ftp://ftp.iam.uni-karlsruhe.de/pub/awa/.Google Scholar
- 19.J. J. Moré. A collection of nonlinear model problems. In E. L. Allgower and K. Georg, editors, Computational Solution of Nonlinear Systems of Equations, volume 26 of Lectures in Applied Mathematics. American Mathematical Society, Providence, 1990.Google Scholar
- 22.S. Singh. Fermat’s Enigma: The Quest to Solve the World’s Greatest Mathematical Problem. Walker & Company, 1997.Google Scholar
- 24.J. H. Wilkinson. Rounding Errors in Algebraic Processes. Dover, New York, 1994. Originally published as Notes on Applied Science No. 32, Her Majesty’s Stationery Office, London, 1963.Google Scholar