Computer-assisted discovery and proof
From MaRDI portal
Publication:3602565
Recommendations
Cited in
(23)- Homogeneous length functions on groups: intertwined computer and human proofs
- Machine-assisted proofs
- Infinite series identities derived from the very well-poised \(\Omega\)-sum
- Machine-checked mathematics
- Proof technology in mathematics research and teaching
- Software integration and computer proofs
- Computerized deconstruction.
- Finding mathematical proofs using computers
- 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
- scientific article; zbMATH DE number 2078143 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 927286 (Why is no real title available?)
- 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)
