Formal proof
From MaRDI portal
Recommendations
Cited in
(30)- Proof versus formalization
- Formalizing a fragment of combinatorics on words
- A replication crisis in mathematics?
- Formal verification of stability and chaos in periodic optical systems
- Experimental mathematics, computers and the a priori
- A formally verified compiler back-end
- Homotopy type theory and Voevodsky's univalent foundations
- Checking proofs
- Beyond provable security verifiable IND-CCA security of OAEP
- Mechanical proofs of properties of the Tribonacci word
- Formal Proof: Reconciling Correctness and Understanding
- A certified proof of the Cartan fixed point theorems
- scientific article; zbMATH DE number 2152635 (Why is no real title available?)
- A formalization of properties of continuous functions on closed intervals
- Proof auditing formalised mathematics
- Towards Formal Proof Script Refactoring
- Reshaping the metaphor of proof
- Formal proof -- theory and practice
- Types for Proofs and Programs
- Automated theorem provers: a practical tool for the working mathematician?
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
- Reconciling \textit{Rigor and intuition}
- On the Erdős-Tuza-Valtr conjecture
- Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points
- Chain Bounding, the Leanest Proof of Zorn’s Lemma, and an Illustration of Computerized Proof Formalization
- Accepted proofs: objective truth, or culturally robust?
- Generators and relations for 2-qubit Clifford+T operators
- Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic
- Microeconomics and the First Welfare Theorem
- A revision of the proof of the Kepler conjecture
This page was built for publication: Formal proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302558)
