Formal proof -- theory and practice
From MaRDI portal
Recommendations
Cited in
(41)- Formalization of camera pose estimation algorithm based on Rodrigues formula
- Computer verification of mathematical reasoning
- A formalization of properties of continuous functions on closed intervals
- Experimental mathematics, computers and the a priori
- scientific article; zbMATH DE number 1961525 (Why is no real title available?)
- Finding mathematical proofs using computers
- The metamorphoses of the calculus. An amazing history of mathematics
- Formal Proof: Reconciling Correctness and Understanding
- ``Backward coinduction, Nash equilibrium and the rationality of escalation
- On the shape of mathematical arguments
- Logics, mathematics, automatic deduction
- Foreword to the special focus on formal proofs for mathematics and computer science
- A certified proof of the Cartan fixed point theorems
- Developments in formal proofs
- Supporting the formal verification of mathematical texts
- Mining the Archive of Formal Proofs
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Formal verification for non-formalists
- Computer theorem proving in mathematics
- Mathematical Knowledge Management
- Types for Proofs and Programs
- Simplicity via provability for universal prefix-free Turing machines
- Asynchronous logic circuits and sheaf obstructions
- Special issue: Formal proof
- Accepted proofs: objective truth, or culturally robust?
- Formal proof
- Preface to the special issue: Interactive theorem proving and the formalization of mathematics
- Annotations in formal specifications and proofs
- Foreword to: Special issue on interactive theorem provers
- Proof versus formalization
- On the Erdős-Tuza-Valtr conjecture
- Formalizing physics: automation, presentation and foundation issues
- Checking proofs
- Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study
- Automated theorem provers: a practical tool for the working mathematician?
- A revision of the proof of the Kepler conjecture
- On the maximum weighted irredundant set problem
- scientific article; zbMATH DE number 4133524 (Why is no real title available?)
- Mixing computations and proofs
- Proof, message and certificate
- Building a library of mechanized mathematical proofs: Why do it? And what is it like to do?
This page was built for publication: Formal proof -- theory and practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302560)
