A Query Language for Formal Mathematical Libraries

DOI10.1007/978-3-642-31374-5_10zbMath1359.68272arXiv1204.4685OpenAlexW1581739545MaRDI QIDQ2907320

Florian Rabe

Publication date: 7 September 2012

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Information storage and retrieval of data (68P20)

Related Items

A survey on retrieval of mathematical knowledge, A scalable module system, Supporting data-driven mathematics: database and interface generation

Uses Software

• MathWebSearch
• TPTP
• MoMM
• Mizar
• MMT
• QMT
• TNTBase

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A scalable module system
• A math query language with an expanded set of wildcards
• The TPTP problem library. CNF release v1. 2. 1
• Technical aspects of the digital library of mathematical functions
• The MMT API: A Generic MKM System
• Querying Proofs
• Towards MKM in the Large: Modular Representation and Scalable Software Architecture
• A framework for defining logics
• Indexing and Searching Mathematics in Digital Libraries
• Project Abstract: Logic Atlas and Integrator (LATIN)
• A Search Engine for Mathematical Formulae
• Mathematical Knowledge Management
• Methods to Access and Retrieve Mathematical Content in ActiveMath