How to write a 21st century proof
From MaRDI portal
Publication:692371
Recommendations
Cited in
(14)- Structuring Mathematical Proofs
- Proofs for a price: tomorrow's ultra-rigorous mathematical culture
- Strict linearizability and abstract atomicity
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- A scrapbook of inadmissible line complexes for the X-ray transform
- A powerful method of non-proof
- Certified first-order AC-unification and applications.
- Structured derivations: a unified proof style for teaching mathematics
- Plans and planning in mathematical proofs
- Squeezing streams and composition of self-stabilizing algorithms
- scientific article; zbMATH DE number 3941513 (Why is no real title available?)
- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+}
This page was built for publication: How to write a 21\(^{\text{st}}\) century proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692371)
