Mathematical proofs in the computer age
From MaRDI portal
Recommendations
Cited in
(24)- scientific article; zbMATH DE number 2152637 (Why is no real title available?)
- The justification of mathematical statements
- A new style of mathematical proof
- Computing and the cultures of proving
- Pi on earth, or mathematics in the real world
- Mathematical proof
- scientific article; zbMATH DE number 5269066 (Why is no real title available?)
- scientific article; zbMATH DE number 733568 (Why is no real title available?)
- Mixing computations and proofs
- Computer-assisted discovery and proof
- scientific article; zbMATH DE number 2152635 (Why is no real title available?)
- The mathematical significance of proof theory
- Contemporary proofs for mathematics education
- Searching for proofs (and uncovering capacities of the mathematical mind)
- Looking for busy beavers. A socio-philosophical study of a computer-assisted proof
- Finding mathematical proofs using computers
- Mathematical concepts in computer proofs
- Proving and programming
- Proof in the time of machines
- `Simon's syndrome' in the problem of reliability of computer proofs
- Proof technology in mathematics research and teaching
- Computers as a source of a posteriori knowledge in mathematics
- Computerized deconstruction.
- scientific article; zbMATH DE number 927286 (Why is no real title available?)
This page was built for publication: Mathematical proofs in the computer age
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4890909)
