Pages that link to "Item:Q692371"

The following pages link to How to write a 21\(^{\text{st}}\) century proof (Q692371):

Displaying 9 items.

• A scrapbook of inadmissible line complexes for the X-ray transform (Q2020033) (← links)
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
• A Framework for Certified Self-Stabilization (Q2827460) (← links)
• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
• PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
• Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
• Strict Linearizability and Abstract Atomicity (Q5859670) (← links)
• Proving a non-blocking algorithm for process renaming with TLA\textsuperscript{+} (Q6536175) (← links)
• Proofs for a price: tomorrow's ultra-rigorous mathematical culture (Q6554711) (← links)