Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898511zbMATH OpenOpenAlexFDO

Authors Adam Grabowski, Christoph Schwarzweller

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1951626
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Mathematical Knowledge Management
• Using and parsing the Mizar language
• The Mizar Mathematical Library in OMDoc: translation and applications

Cited in

(17)

• On duplication in mathematical repositories
• Elementary number theory problems. XII: Primes in arithmetic progression
• Multidimensional measure space and integration
• Simple extensions
• Symmetrical piecewise linear functions composed by absolute value function
• scientific article; zbMATH DE number 2078371 (Why is no real title available?)
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• Improving legibility of formal proofs based on the close reference principle is NP-hard
• Formalization of quasilattices
• scientific article; zbMATH DE number 5124871 (Why is no real title available?)
• scientific article; zbMATH DE number 5607884 (Why is no real title available?)
• Four decades of \textsc{Mizar}. Foreword
• Splitting fields
• Mizar: state-of-the-art and beyond
• Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
• Flexary connectives in Mizar
• On weakly associative lattices and near lattices

Describes a project that uses

Uses Software

• Isar
• Mizar
• IsaWin

This page was built for publication: Mathematical Knowledge Management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898511)