Proving and programming
From MaRDI portal
Recommendations
Cited in
(29)- Computer programs and mathematical proofs
- Parallel processing and OOP as an analogy for the discovery of certain mathematical proofs
- Proofs and programs
- A new style of mathematical proof
- Writing programs that construct proofs
- Foreword to the special focus on formal proofs for mathematics and computer science
- Proof checking and logic programming
- Proof, message and certificate
- Mathematical concepts in computer proofs
- Searching for proofs (and uncovering capacities of the mathematical mind)
- scientific article; zbMATH DE number 4193096 (Why is no real title available?)
- Mathematical proof
- Metamathematical fundamental concepts of computer programming
- Formal Proof: Reconciling Correctness and Understanding
- Social processes, program verification and all that
- Proofs verifying programs and programs producing proofs: a conceptual analysis
- scientific article; zbMATH DE number 3938525 (Why is no real title available?)
- scientific article; zbMATH DE number 4006266 (Why is no real title available?)
- scientific article; zbMATH DE number 4099291 (Why is no real title available?)
- scientific article; zbMATH DE number 4125356 (Why is no real title available?)
- Mathematical proofs in the computer age
- Mixing computations and proofs
- Proofs, reasoning and the metamorphosis of logic
- Computing and the cultures of proving
- A Dynamic Poincaré Principle
- Strange new universes: Proof assistants and synthetic foundations
- Proof in the time of machines
- AlephZero and Mathematical Experience
- A science of reasoning: Extended abstract
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)
