Ten Problems in Experimental Mathematics
This article was stimulated by the recent SIAM ''100 DigitChallenge'' of Nick Trefethen, beautifully described in a recent book. Indeed, these ten numeric challenge problems are also listed in a recent book by two of present authors, where they are followed by the ten symbolic/numeric challenge problems that are discussed in this article. Our intent was to present ten problems that are characteristic of the sorts of problems that commonly arise in ''experimental mathematics''. The challenge in each case is to obtain a high precision numeric evaluation of the quantity, and then, if possible, to obtain a symbolic answer, ideally one with proof. Our goal in this article is to provide solutions to these ten problems, and in the process present a concise account of how one combines symbolic and numeric computation, which may be termed ''hybrid computation'', in the process of mathematical discovery.
- Research Organization:
- Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)
- Sponsoring Organization:
- USDOE Director, Office of Science. Office of AdvancedScientific Computing Research. Mathematical, Information, andComputational Sciences Division; National Science Foundation (NSF)
- DOE Contract Number:
- DE-AC02-05CH11231; NSF:DMS-0342255
- OSTI ID:
- 878698
- Report Number(s):
- LBNL-57486; R&D Project: KC6714; BnR: YN0100000; TRN: US200611%%405
- Journal Information:
- American Mathematical Monthly, Vol. 113; Related Information: Journal Publication Date: 2006
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning contributes to mathematics and logic
Applied Mathematics at the U.S. Department of Energy: Past, Present and a View to the Future