Structure Formation in Large Theories

DOI10.1007/978-3-319-20615-8_10zbMath1417.68200arXiv1505.01620OpenAlexW1962623462MaRDI QIDQ3453112

Serge Autexier, Dieter Hutter

Publication date: 20 November 2015

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

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

Mathematics Subject Classification ID

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

Uses Software

• MAYA
• TPTP
• Mizar

Cites Work

• Development graphs -- proof management for structured specifications
• The TPTP World – Infrastructure for Automated Reasoning
• Institutions: abstract model theory for specification and programming
• Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
• Matching Concepts across HOL Libraries

This page was built for publication: Structure Formation in Large Theories