{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T10:57:51Z","timestamp":1763809071338},"publisher-location":"Vienna","reference-count":24,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211835906"},{"type":"electronic","value":"9783709162828"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-7091-6282-8_1","type":"book-chapter","created":{"date-parts":[[2011,9,16]],"date-time":"2011-09-16T14:23:43Z","timestamp":1316183023000},"page":"1-12","source":"Crossref","is-referenced-by-count":6,"title":["Proving Conjectures by Use of Interval Arithmetic"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Frommer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"M. Aigner and E. Behrends. Alles Mathematik. Vieweg, Braunschweig, 2000.","DOI":"10.1007\/978-3-322-96366-6"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1137\/0731013","volume":"31","author":"G Alefeld","year":"1994","unstructured":"G. Alefeld, A. Gienger, and F. A. Potra. Efficient numerical validation of solutions of nonlinear systems. SIAM J. Numer. Anal., 31:252\u2013260, 1994.","journal-title":"SIAM J. Numer. Anal"},{"key":"1_CR3","volume-title":"Introduction to Interval Computations","author":"G Alefeld","year":"1983","unstructured":"G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, New York, 1983."},{"key":"1_CR4","unstructured":"American National Standard Institute. IEEE standard for binary floating point arithmetic IEEE\/ANSI 754-1985. Technical report, New York, 1985."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1215\/ijm\/1256049011","volume":"21","author":"K Appel","year":"1977","unstructured":"K. Appel and W. Haken. Every planar graph is four colorable, part I: Discharging. Illinois J. of Mathematics, 21:429\u2013490, 1977.","journal-title":"Illinois J. of Mathematics"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1215\/ijm\/1256049012","volume":"21","author":"K Appel","year":"1977","unstructured":"K. Appel and W. Haken. Every planar graph is four colorable, part 11: Reducibility. Illinois J. of Mathematics, 21:491\u2013567, 1977.","journal-title":"Illinois J. of Mathematics"},{"key":"1_CR7","unstructured":"C. V. Boys. Soap Bubbles. Dover Publ. Inc., New York, 1959. (first edition 1911)."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"C. Camacho and L. de Figueiredo. The dynamics of the Jouanolou foliation on the complex projective 2-space. Ergodic Theory Dyn. Sys., to appear.","DOI":"10.1017\/S0143385701001365"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-1-4613-3440-8_7"},{"key":"1_CR10","unstructured":"S. P. Ferguson. Sphere Packings, V. PhD thesis, Department of Mathematics, University of Michigan, 1997."},{"key":"1_CR11","unstructured":"J. HaIes. The Kepler conjecture. Technical report, 1998. http:\/\/www.math.1sa.umich.edu\/-hales\/countdovn\/."},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1090\/S1079-6762-95-03001-0","volume":"1","author":"J Hass","year":"1995","unstructured":"J. Hass, M. Hutchings, and R. Schlafly. The double bubble conjecture. Electron. Res. Announc. Am. Math. Soc., 1:98\u2013102, 1995.","journal-title":"Electron. Res. Announc. Am. Math. Soc"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"459","DOI":"10.2307\/121042","volume":"151","author":"J Hass","year":"2000","unstructured":"J. Hass and R. Schlafly. Double bubbles minimize. Ann. Math. (2), 151:459\u2013515, 2000.","journal-title":"Ann. Math. (2)"},{"key":"1_CR14","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"NJ Higham","year":"1996","unstructured":"N. J. Higham. Accuracy and Stability of Numerical Algorithms. SIAM, Philadelphia, 1996."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"R. B. Kearfott. Rigorous Global Search. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-1-4757-2495-0"},{"key":"1_CR16","volume-title":"Computer Arithmetic in Theory and Practice","author":"U Kulisch","year":"1981","unstructured":"U. Kulisch and W. Miranker. Computer Arithmetic in Theory and Practice. Academic Press, New York, 1981."},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1090\/S0273-0979-1982-15008-X","volume":"6","author":"OE Lanford","year":"1982","unstructured":"O. E. Lanford III. A computer-assisted proof of the feigenbaum conjectures. Bull. Am. Math. Soc. New Ser., 6:427\u2013434, 1982.","journal-title":"Bull. Am. Math. Soc. New Ser"},{"key":"1_CR18","unstructured":"R. Lohner. AWA: Software for the computation of guaranteed bounds for solutions of ordinary initial value problems. Technical report, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1994. Software available at ftp:\/\/ftp.iam.uni-karlsruhe.de\/pub\/awa\/."},{"key":"1_CR19","unstructured":"J. J. Mor\u00e9. 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."},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0167-2789(93)90169-2","volume":"67","author":"A Neumaier","year":"1993","unstructured":"A. Neumaier and T. Rage. Rigorous verification in discrete dynamical systems. Physica D, 67:327\u2013346, 1993.","journal-title":"Physica D"},{"key":"1_CR21","first-page":"2253","volume":"A24","author":"J Schwinger","year":"1981","unstructured":"J. Schwinger. Thomas-Fermi model: The second correction. Physical Review, A24:2253\u20132361, 1981.","journal-title":"Physical Review"},{"key":"1_CR22","unstructured":"S. Singh. Fermat\u2019s Enigma: The Quest to Solve the World\u2019s Greatest Mathematical Problem. Walker & Company, 1997."},{"key":"1_CR23","volume-title":"The Algebraic Eigenvalue Problem","author":"JH Wilkinson","year":"1965","unstructured":"J. H. Wilkinson. The Algebraic Eigenvalue Problem. Oxford University Press, Oxford, 1965."},{"key":"1_CR24","unstructured":"J. H. Wilkinson. Rounding Errors in Algebraic Processes. Dover, New York, 1994. Originally published as Notes on Applied Science No. 32, Her Majesty\u2019s Stationery Office, London, 1963."}],"container-title":["Perspectives on Enclosure Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6282-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:32:44Z","timestamp":1606123964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6282-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783211835906","9783709162828"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6282-8_1","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}