scientific article; zbMATH DE number 1951637
From MaRDI portal
Publication:4413892
Recommendations
- Mathematical Knowledge Management
- Maintaining a library of formal mathematics
- Supporting the formal verification of mathematical texts
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
- Formalizability and knowledge ascriptions in mathematical practice
- Proof auditing formalised mathematics
- On the role of formalization in computational mathematics
- Understanding, formal verification, and the philosophy of mathematics
- Formalising foundations of mathematics
- Mining the Archive of Formal Proofs
Cited in
(20)- An integrated web platform for the Mizar Mathematical Library
- On duplication in mathematical repositories
- Extended natural numbers and counters
- Concatenation of finite sequences
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Licensing the Mizar Mathematical Library (MML)
- An example of formalizing recent mathematical results in MIZAR
- Dependencies in formal mathematics: applications and extraction for Coq and Mizar
- Revisions as an Essential Tool to Maintain Mathematical Repositories
- Methods of lemma extraction in natural deduction proofs
- On building a knowledge base for stability theory
- Four decades of \textsc{Mizar}. Foreword
- Mathematical knowledge management in MIZAR
- Maintaining a library of formal mathematics
- scientific article; zbMATH DE number 1951634 (Why is no real title available?)
- Cooperative Repositories for Formal Proofs
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Arithmetic operations on short finite sequences
- Mizar: state-of-the-art and beyond
- Logiweb
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413892)
