How to write a 21\(^{\text{st}}\) century proof
From MaRDI portal
Publication:692371
DOI10.1007/S11784-012-0071-6zbMath1271.03082OpenAlexW2045689965MaRDI QIDQ692371
Publication date: 5 December 2012
Published in: Journal of Fixed Point Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11784-012-0071-6
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Methodology of mathematics (00A35)
Related Items (8)
Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ Squeezing streams and composition of self-stabilizing algorithms ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ A scrapbook of inadmissible line complexes for the X-ray transform ⋮ A Framework for Certified Self-Stabilization ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ Strict Linearizability and Abstract Atomicity ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS
Uses Software
Cites Work
This page was built for publication: How to write a 21\(^{\text{st}}\) century proof
