Avigad, J. [2008]: ‘Computers in Mathematical Inquiry’, in P. Mancosu (ed.), The Philosophy of Mathematical Practice, Oxford: Oxford University Press, pp. 302–16.
Avigad, J. [2018]: ‘The Mechanization of Mathematics’, Notices of the American Mathematical Society, 65, pp. 681–90.
Avigad, J. [2021]: ‘Reliability of Mathematical Inference’, Synthese, 198, pp. 7377–99.
Avigad, J. and Harrison, J. [2014]: ‘Formally Verified Mathematics’, Communications of the ACM, 57, pp. 66–75.
Bailey, D. H., Borwein, J. M., Borwein, P. B. and Plouffe, S. M. [1997]: ‘The Quest for Pi’, Mathematical Intelligencer, 19, pp. 50–56.
Bailey, D. H., Borwein, P. B., Mattingly, A. and Wightwick, G. [2013]: ‘The Computation of Previously Inaccessible Digits of p2 and Catalan’s Constant’, Notices of the American Mathematical Society, 60, pp. 844–54.
Bailey, D. H., Borwein, P. B. and Plouffe, S. M. [1997]: ‘On the Rapid Computation of Various Polylogarithmic Constants’, Mathematics of Computation, 66, pp. 903–13.
Bailey, D. H. and Broadhurst, D. J. [2001]: ‘Parallel Integer Relation Detection: Techniques and Applications’, Mathematics of Computation, 70, pp. 1719–36.
Baker, A. [2008]: ‘Experimental Mathematics’, Erkenntnis, 68, pp. 331–44.
Baker, A. [2020]: ‘Non-deductive Methods in Mathematics’, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, available at .
Bird, A. [2014]: ‘When Is There a Group That Knows? Distributed Cognition, Scientific Knowledge, and the Social Epistemic Subject’, in J. Lackey (ed.), Essays in Collective Epistemology, Oxford: Oxford University Press, pp. 42–64.
Borwein, J. M. [2009]: ‘Implications of Experimental Mathematics for the Philosophy of Mathematics’, in B. Gold and R. A. Simons (eds), Proof and Other Dilemmas: Mathematics and Philosophy, Washington, DC: Mathematical Association of America, pp. 33–59.
Borwein, J. M. and Bailey, D. H. [2004]: Mathematics by Experiment: Plausible Reasoning in the 21st Century, Natick, MA: Peters.
Clay Mathematics Institute [unpublished]: ‘Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman’, available at .
Corfield, D. [2003]: Towards a Philosophy of Real Mathematics, Cambridge: Cambridge University Press.
Easwaran, K. [2009]: ‘Probabilistic Proofs and Transferability’, Philosophia Mathematica, 17, pp. 341–62.
Fallis, D. [1997]: ‘The Epistemic Status of Probabilistic Proof’, Journal of Philosophy, 94, pp. 165–86.
Fallis, D. [2000]: ‘The Reliability of Randomized Algorithms’, British Journal for the Philosophy of Science, 51, pp. 255–71.
Fallis, D. [2002]: ‘What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians’, Logique and Analyse, 179–80, pp. 373–88.
Fallis, D. [2011]: ‘Probabilistic Proofs and the Collective Epistemic Goals of Mathematicians’, in H.-B. Schmid, M. Weber and D. Sirtes (eds), Collective Epistemology, Heusenstamm: Ontos, pp. 157–75.
Ferguson, H. R. P., Bailey, D. H. and Arno, S. [1999]: ‘Analysis of PSLQ, an Integer Relation Finding Algorithm’, Mathematics of Computation, 68, pp. 351–69.
Grcar J. F. [2013]: ‘Errors and Corrections in Mathematics Literature’, Notices of the American Mathematical Society, 60, pp. 418–25.
Hales, T. C. [2005]: ‘A Proof of the Kepler Conjecture’, Annals of Mathematics, 162, pp. 1065–85.
Heawood, P. J. [1890]: ‘Map Colour Theorem’, Quarterly Journal of Pure and Applied Mathematics, 24, pp. 332–38.
Hutchins, E. [1995]: Cognition in the Wild, Cambridge, MA: MIT Press.
Jackson, J. C. [2009]: ‘Randomized Arguments Are Transferable’, Philosophia Mathematica, 17, pp. 363–68.
Kempe, A. B. [1879]: ‘On the Geographical Problem of the Four Colours’, American Journal of Mathematics, 2, pp. 193–200.
McEvoy, M. [2013]: ‘Experimental Mathematics, Computers, and the a Priori’, Synthese, 190, pp. 397–412.
Miller, G. L. [1976]: ‘Riemann’s Hypothesis and Tests for Primality’, Journal of Computer and System Sciences, 13, pp. 300–17.
Motwani, R. and Raghavan, P. [1995]: Randomized Algorithms, Cambridge: Cambridge University Press.
Nelson, E. [unpublished]: ‘Inconsistency of Primitive Recursive Arithmetic’, available at .
Paseau, A. [2014]: ‘Knowledge of Mathematics without Proof ’, British Journal for the Philosophy of Science, 66, pp. 775–99.
Peressini, A. [2003]: ‘Proof, Reliability, and Mathematical Knowledge’, Theoria, 69, pp. 211–32.
Rabin, M. D. [1980]: ‘Probabilistic Algorithm for Testing Primality’, Journal of Number Theory, 12, pp. 128–38.
Singh, S. [1997]: Fermat’s Last Theorem: The Story of a Riddle That Confounded the World’s Greatest Minds for 358 Years, London: Fourth Estate.
Sipka, T. [2002]: ‘Alfred Bray Kempe’s “Proof ” of the Four-Color Theorem’, Math Horizons, 10, pp. 21–23.
Smith, M. [2016]: Between Probability and Certainty: What Justifies Belief, Oxford: Oxford University Press.
Sørensen, H.-K. [2010]: ‘Exploratory Experimentation in Experimental Mathematics: A Glimpse at the PSLQ Algorithm’, in B. Löwe and T. Müller (eds), Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, London: College, pp. 341–60.
Thurston, W. P. [1994]: ‘On Proof and Progress in Mathematics’, Bulletin of the American Mathematical Society, 30, pp. 161–77.
Van Bendegem, J.-P. [1996]: ‘Mathematical Experiments and Mathematical Pictures’, in I. Douven and L. Horsten (eds), Realism in the Sciences, Leuven: Leuven University Press, pp. 203–16.
Van Bendegem, J.-P. [1998]: ‘What, If Anything, Is an Experiment in Mathematics?’, in D. Anapolitanos, A. Baltas and S. Tsinorema (eds), Philosophy and the Many Faces of Science, Lanhampp: Rowman and Littlefield, pp. 172–82.
