Mathematical Knowledge Management
From MaRDI portal
Publication:5898530
DOI10.1007/11618027zbMath1151.68681OpenAlexW2480281325MaRDI QIDQ5898530
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (23)
A new export of the Mizar mathematical library ⋮ 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 ⋮ Mizar: State-of-the-art and Beyond ⋮ Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library ⋮ New Developments in Parsing Mizar ⋮ A Brief Overview of Mizar ⋮ The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ MPTP 0.2: Design, implementation, and initial experiments ⋮ Eliciting implicit assumptions of Mizar proofs by property omission ⋮ Methods of lemma extraction in natural deduction proofs ⋮ ATP and presentation service for Mizar formalizations ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Integrating searching and authoring in Mizar ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ Pollack-inconsistency ⋮ Large Formal Wikis: Issues and Solutions ⋮ Isabelle as Document-Oriented Proof Assistant ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser ⋮ A Review of Mathematical Knowledge Management ⋮ Semantics of Mizar as an Isabelle object logic ⋮ Automated Improving of Proof Legibility in the Mizar System ⋮ Presenting and Explaining Mizar
Uses Software
This page was built for publication: Mathematical Knowledge Management
