The following pages link to Mathematical Knowledge Management (Q5898530):
Displaying 23 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- Methods of lemma extraction in natural deduction proofs (Q1945902) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Presenting and Explaining Mizar (Q2867936) (← links)
- New Developments in Parsing Mizar (Q2907343) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- A Review of Mathematical Knowledge Management (Q3637281) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- Pollack-inconsistency (Q5170237) (← links)
- Large Formal Wikis: Issues and Solutions (Q5200113) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
- Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
