Proving and programming
From MaRDI portal
Recommendations
Cited in
(26)- Proof in the time of machines
- Strange new universes: Proof assistants and synthetic foundations
- Mathematical concepts in computer proofs
- A Dynamic Poincaré Principle
- scientific article; zbMATH DE number 4125356 (Why is no real title available?)
- Searching for proofs (and uncovering capacities of the mathematical mind)
- Formal Proof: Reconciling Correctness and Understanding
- Social processes, program verification and all that
- Proof checking and logic programming
- Foreword to the special focus on formal proofs for mathematics and computer science
- Computing and the cultures of proving
- Proofs and programs
- Writing programs that construct proofs
- scientific article; zbMATH DE number 3938525 (Why is no real title available?)
- A new style of mathematical proof
- scientific article; zbMATH DE number 4099291 (Why is no real title available?)
- AlephZero and Mathematical Experience
- Metamathematical fundamental concepts of computer programming
- Proofs verifying programs and programs producing proofs: a conceptual analysis
- A science of reasoning: Extended abstract
- Proofs, reasoning and the metamorphosis of logic
- Mathematical proofs in the computer age
- Mathematical proof
- Mixing computations and proofs
- Proof, message and certificate
- scientific article; zbMATH DE number 4006266 (Why is no real title available?)
This page was built for publication: Proving and programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448310)
