Documents Related by Co-Citation

96 Mathematics by Experiment: Plausible Reasoning – J M Borwein, D H Bailey - 2008
104 On The Rapid Computation of Various Polylogarithmic Constants”, manuscript – David Bailey, Peter Borwein, Simon Plouffe - 1996
8 The SIAM 100 digits challenge, Extended review – J M Borwein
16 Towards a Philosophy of Real Mathematics – David Corfield
45 On proof and progress in mathematics – William P Thurston - 1995
4 The surveyability of mathematical proof: a historical perspective. Synthese – O B Bassler - 2006
24 Hypergeometric forms for Ising-class integrals,” Exp – D H Bailey, D Borwein, J M Borwein, R E Crandall
47 Parallel Integer Relation Detection: Techniques and Applications – David H. Bailey, David J. Broadhurst - 2000
26 Integrals of the Ising class – D. H. Bailey, J. M. Borwein, R. E. Crandall - 2006
8 Dynamic probability, computer chess, and the measurement of knowledge – I J Good - 1983
7 The epistemic status of probabilistic proofs – D Fallis - 1997
3 Visualization in logic and mathematics’, in Mancosu et al – Paolo Mancosu - 2005
4 Heuristic reasoning and the theory of probability – George Pólya
2 The four-color problem and its philosophical significance – Thomas Tymozcko - 1979
11 Reasoning with limited resources and assigning probabilities to arithmetical statements. Synthese 140 – H Gaifman - 2004
53 All of Statistics – L A Wasserman - 2004
130 Solution of the Robbins Problem – William Mccune - 1997
64 On the Notion of Interestingness in Automated Mathematical Discovery – Simon Colton, Alan Bundy, Toby Walsh - 2000
24 Slightly more realistic personal probability – I Hacking - 1967