scientific article; zbMATH DE number 1951637
From MaRDI portal
Publication:4413892
zbMATH Open1022.68621MaRDI QIDQ4413892FDOQ4413892
Authors: Piotr Rudnicki, Andrzej Trybulec 
Publication date: 21 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940162.htm
Title of this publication is not available (Why is that?)
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
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Cited In (19)
- On duplication in mathematical repositories
- Maintaining a library of formal mathematics
- Extended natural numbers and counters
- Concatenation of finite sequences
- Revisions as an Essential Tool to Maintain Mathematical Repositories
- Logiweb
- An example of formalizing recent mathematical results in MIZAR
- The role of the Mizar mathematical library for interactive proof development in Mizar
- On building a knowledge base for stability theory
- Title not available (Why is that?)
- Cooperative Repositories for Formal Proofs
- Licensing the Mizar Mathematical Library (MML)
- Dependencies in formal mathematics: applications and extraction for Coq and Mizar
- Four decades of \textsc{Mizar}. Foreword
- Methods of lemma extraction in natural deduction proofs
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Mathematical knowledge management in MIZAR
- Arithmetic operations on short finite sequences
- Mizar: state-of-the-art and beyond
Uses Software
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)
