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