Publisher
Springer International Publishing
Reference23 articles.
1. Allo, P., J.-P. van Bendegem, and B. van Kerkhove. 2013, to appear. Mathematical arguments and distributed knowledge.
2. Avigad, J. 2008. Computers in mathematical inquiry. In Philosophy and the many faces of science, ed. P. Mancosu, 302–316. Oxford University Press.
3. Baker, Alan. 2008. Experimental mathematics. Erkenntnis 68: 331–344.
4. Brady, A.H. 1983. The determination of the value of Radó’s noncomputable function σ for four-state turing machines. Mathematics of Computation 40: 647–665.
5. Bullynck, M. and L. De Mol. 2010. Setting-up early computer programs: D. H. Lehmer’s ENIAC computation. Archive for Mathematical Logic 49: 123–146.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Role of Experiments in Experimental Mathematics;Handbook of the History and Philosophy of Mathematical Practice;2024
2. The Role of Experiments in Experimental Mathematics;Handbook of the History and Philosophy of Mathematical Practice;2023
3. On the Conciliation of Traditional and Computer-Assisted Proofs;Philosophical Studies Series;2022