mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library

DOI10.1007/978-3-642-22673-1_19zbMath1335.68255arXiv1107.4721OpenAlexW1595902028MaRDI QIDQ5200124

Jesse Alama

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.4721

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (6)

mizar-items ⋮ Mizar: State-of-the-art and Beyond ⋮ Tools for MML Environment Analysis ⋮ The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ An integrated web platform for the Mizar Mathematical Library ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser

Uses Software

• Mizar
• MML

Cites Work

• Premise selection for mathematics by corpus analysis and kernel methods
• Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library