Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.68663OpenAlexW2480281325MaRDI QIDQ5898511FDOQ5898511

Christoph Schwarzweller, Adam Grabowski

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)

Cited In (16)

• 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
• Formalization of quasilattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mizar: State-of-the-art and Beyond
• Splitting fields
• Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization
• Four decades of {\textsc{Mizar}}. Foreword
• Improving legibility of formal proofs based on the close reference principle is NP-hard
• On weakly associative lattices and near lattices
• Flexary connectives in Mizar
• Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
• Title not available (Why is that?)

Uses Software

• Isar
• Mizar
• IsaWin

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)