Computer-assisted discovery and proof
From MaRDI portal
Publication:3602565
zbMATH Open1159.68548MaRDI QIDQ3602565FDOQ3602565
Authors: D. H. Bailey, Jonathan M. Borwein 
Publication date: 12 February 2009
Recommendations
Cited In (23)
- Homogeneous length functions on groups: intertwined computer and human proofs
- Machine-assisted proofs
- Machine-checked mathematics
- Proof technology in mathematics research and teaching
- Infinite series identities derived from the very well-poised \(\Omega\)-sum
- Software integration and computer proofs
- Finding mathematical proofs using computers
- Computerized deconstruction.
- Alternative evaluation of a ln tan integral arising in quantum field theory
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
- Computers as a novel mathematical reality. I: A personal account
- Accelerating Dougall's \(_{5}F_{4}\)-sum and infinite series involving \(\pi\)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Automated Mathematics and the Reconfiguration of Proof and Labor
- Title not available (Why is that?)
- On experimental mathematics and mathematics education
- Mathematical proofs in the computer age
- Looking for busy beavers. A socio-philosophical study of a computer-assisted proof
- Title not available (Why is that?)
- Computerized proof techniques for undergraduates
- Exploratory experimentation: digitally-assisted discovery and proof
- Mathematical reasoning and the computer
- Proof verification technology and elementary physics
This page was built for publication: Computer-assisted discovery and proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602565)
