Preface |
|
xi | |
|
A Philosophical Introduction |
|
|
1 | (28) |
|
|
1 | (1) |
|
Mathematical Knowledge as We View It |
|
|
1 | (1) |
|
|
2 | (1) |
|
Philosophy of Experimental Mathematics |
|
|
3 | (8) |
|
Our Experimental Mathodology |
|
|
11 | (4) |
|
Finding Things versus Proving Things |
|
|
15 | (9) |
|
|
24 | (5) |
|
Algorithms for Experimental Mathematics I |
|
|
29 | (24) |
|
The Poetry of Computation |
|
|
29 | (1) |
|
High-Precision Arithmetic |
|
|
30 | (1) |
|
Integer Relation Detection |
|
|
31 | (2) |
|
Illustrations and Examples |
|
|
33 | (10) |
|
Definite Integrals and Infinite Series Summations |
|
|
43 | (1) |
|
Computation of Multivariate Zeta Values |
|
|
44 | (1) |
|
Ramanujan-Type Elliptic Series |
|
|
45 | (8) |
|
Algorithms for Experimental Mathematics II |
|
|
53 | (26) |
|
|
53 | (2) |
|
Prime Number Computations |
|
|
55 | (3) |
|
|
58 | (3) |
|
|
61 | (6) |
|
Infinite Series Summation |
|
|
67 | (3) |
|
|
70 | (9) |
|
Exploration and Discovery in Inverse Scattering |
|
|
79 | (34) |
|
Metaphysics and Mechanics |
|
|
79 | (1) |
|
|
80 | (3) |
|
|
83 | (7) |
|
The Mathematical Experiment: Qualitative Inverse Scattering |
|
|
90 | (17) |
|
|
107 | (6) |
|
Exploring Strange Functions on the Computer |
|
|
113 | (26) |
|
|
113 | (1) |
|
Nowhere Differentiable Functions |
|
|
114 | (12) |
|
|
126 | (13) |
|
Random Vectors and Factoring Integers: A Case Study |
|
|
139 | (22) |
|
|
139 | (1) |
|
|
140 | (3) |
|
|
143 | (1) |
|
|
144 | (1) |
|
|
145 | (4) |
|
|
149 | (6) |
|
|
155 | (3) |
|
|
158 | (3) |
|
A Selection of Integrals from a Popular Table |
|
|
161 | (28) |
|
The Allure of the Integral |
|
|
161 | (2) |
|
The Project and Its Experimental Nature |
|
|
163 | (1) |
|
|
164 | (3) |
|
An Experimental Derivation of Wallis' Formula |
|
|
167 | (3) |
|
|
170 | (4) |
|
A Formula Hidden in the List |
|
|
174 | (3) |
|
Some Experiments on Valuations |
|
|
177 | (7) |
|
An Error in the Latest Edition |
|
|
184 | (1) |
|
Some Examples Involving the Hurwitz Zeta Function |
|
|
185 | (4) |
|
Experimental Mathematics: A Computational Conclusion |
|
|
189 | (36) |
|
Mathematicians Are a Kind of Frenchmen |
|
|
189 | (1) |
|
Putting Lessons in Action |
|
|
190 | (1) |
|
|
191 | (3) |
|
A Preliminary Example: Visualizing DNA Strands |
|
|
194 | (1) |
|
|
195 | (7) |
|
Hilbert's Inequality and Witten's Zeta Function |
|
|
202 | (12) |
|
Computational Challenge Problems |
|
|
214 | (8) |
|
|
222 | (3) |
|
|
225 | (76) |
|
|
225 | (6) |
|
|
231 | (18) |
|
|
249 | (7) |
|
|
256 | (4) |
|
|
260 | (2) |
|
|
262 | (3) |
|
|
265 | (8) |
|
|
273 | (7) |
|
|
280 | (21) |
Bibliography |
|
301 | (16) |
Index |
|
317 | |