Mathematical Knowledge Management
From MaRDI portal
Publication:5898511
DOI10.1007/11618027zbMath1151.68663OpenAlexW2480281325MaRDI QIDQ5898511
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
Related Items
On weakly associative lattices and near lattices ⋮ Splitting fields ⋮ Four decades of {\textsc{Mizar}}. Foreword ⋮ Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization ⋮ Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver ⋮ Improving legibility of formal proofs based on the close reference principle is NP-hard ⋮ Mizar: State-of-the-art and Beyond ⋮ Flexary connectives in Mizar ⋮ Formalization of quasilattices
Uses Software
