Lawrence Berkeley National Laboratory

This article was stimulated by the recent SIAM "100 Digit Challenge" 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.