Opinion: The Mechanization of Mathematics
From MaRDI portal
Publication:4553308
Cited in
(11)- Mathematics and the formal turn
- Proofs for a price: tomorrow's ultra-rigorous mathematical culture
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
- An Impossible Asylum
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- MATHEMATICAL RIGOR AND PROOF
- Varieties of mathematical understanding
- Metrically homogeneous graphs of diameter \(3\)
- ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- Motivated proofs: what they are, why they matter and how to write them
- Reliability of mathematical inference
This page was built for publication: Opinion: The Mechanization of Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553308)