Mathematical Knowledge Management
From MaRDI portal
Publication:5313068
DOI10.1007/b100478zbMath1108.68598OpenAlexW4234388457MaRDI QIDQ5313068
Adam Naumowicz, Czesław Byliński
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100478
Related Items
Mechanizing complemented lattices within Mizar type system, 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, Tools for MML Environment Analysis, A Brief Overview of Mizar, An example of formalizing recent mathematical results in MIZAR, The role of the Mizar mathematical library for interactive proof development in Mizar, MPTP 0.2: Design, implementation, and initial experiments, Extending numeric automation for number theory formalizations in Mizar, Eliciting implicit assumptions of Mizar proofs by property omission, On rewriting rules in Mizar, Custom automations in Mizar, Enhancement of Mizar Texts with Transitivity Property of Predicates, Semantics of Mizar as an Isabelle object logic, SAT-Enhanced Mizar Proof Checking, Presenting and Explaining Mizar
Uses Software
