Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.68681OpenAlexW2480281325MaRDI QIDQ5898530

Josef Urban

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) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

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

• MoMM
• Mizar
• MML
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mathematical Knowledge Management