Mathematical knowledge management in MIZAR
From MaRDI portal
Recommendations
Cited in
(25)- Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings
- The role of the Mizar mathematical library for interactive proof development in Mizar
- A compendium of continuous lattices in MIZAR
- The Mizar Mathematical Library in OMDoc: translation and applications
- On rewriting rules in Mizar
- Custom automations in Mizar
- A new export of the Mizar mathematical library
- Integrating searching and authoring in Mizar
- Four decades of \textsc{Mizar}. Foreword
- A Brief Overview of Mizar
- scientific article; zbMATH DE number 5124871 (Why is no real title available?)
- Math Literate Knowledge Management via Induced Material
- Mizar: state-of-the-art and beyond
- Tools for MML environment analysis
- Automated reasoning and presentation support for formalizing mathematics in MizAR
- A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
- scientific article; zbMATH DE number 3907807 (Why is no real title available?)
- scientific article; zbMATH DE number 1951634 (Why is no real title available?)
- Pollack-inconsistency
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
- Licensing the Mizar Mathematical Library (MML)
- Revisions as an Essential Tool to Maintain Mathematical Repositories
- Towards Mathematical Knowledge Management for Electrical Engineering
- Information Retrieval and Rendering with MML Query
- An integrated web platform for the Mizar Mathematical Library
This page was built for publication: Mathematical knowledge management in MIZAR
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767928)
