What’s experimental about experimental mathematics? (2008)

Cached

Download Links

by Henrik Kragh Sørensen

Active Bibliography

11 Computers in Mathematical Inquiry – Jeremy Avigad
3 Computers in mathematical inquiry – Jeremy Avigad - 2008
7 Mathematical proofs at a crossroad – Cristian S. Calude, Solomon Marcus - 2004
The Use of Experimental Mathematics in the Classroom – Attila Máder
High-Precision Arithmetic: Progress and Challenges – David H. Bailey, Jonathan M. Borwein
1 High-Precision Arithmetic: Progress and Challenges – David H. Bailey, Jonathan M. Borwein
6 Computers, Reasoning and Mathematical Practice – Ursula Martin
21 Experimental Mathematics: Recent Developments and Future Outlook – David H. Bailey, Jonathan M. Borwein - 2000
8 The journey of the four colour theorem through time – Andreea S. Calude
26 How to Believe a Machine-Checked Proof – Robert Pollack - 1997
Chapter 1 Checking proofs – Jesse Alama, Reinhard Kahle
Coxeter Theory: The Cognitive Aspects – Alexandre V. Borovik - 2004
2 The informal logic of mathematical proof – Andrew Aberdein - 2007
72 Tragic Loss or Good Riddance? The Impending Demise of Traditional Scholarly Journals – Andrew M. Odlyzko - 1995
3 Mathematical Intuition vs. Mathematical Monsters – Solomon Feferman - 1998
20 Estimating Covariances of Locally Stationary Processes: Rates of Convergence of Best Basis Methods – Donoho Mallat, D. L. Donoho, S. Mallat - 1996
2 Implications of Experimental Mathematics for the Philosophy of Mathematics,” chapter to appear – Jonathan Borwein
8 High-Precision Computation and Mathematical Physics – David H. Bailey, Jonathan M. Borwein
ARISTOTELIAN REALISM – James Franklin