Relational data across mathematical libraries

DOI10.1007/978-3-030-23250-4_5MaRDI QIDQ2287899zbMATH OpenOpenAlexFDO

Authors Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel

Publication date 22 January 2020

Full work available at URL https://doi.org/10.1007/978-3-030-23250-4_5

Mathematics Subject Classification ID

Mathematical knowledge management (68V30) Digital mathematics libraries and repositories (68V35)

Recommendations

• A query language for formal mathematical libraries
• scientific article; zbMATH DE number 1497743
• Logical aspects of digital mathematics libraries. (Extended abstract)
• Mathematical Knowledge Management
• Mathematical Knowledge Management

Cited in

(6)

• Experiences from exporting major proof assistant libraries
• A query language for formal mathematical libraries
• On building a knowledge base for stability theory
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 7756106 (Why is no real title available?)
• Learning support systems based on mathematical knowledge management

Describes a project that uses

Uses Software

• Whelp
• Isabelle/PIDE
• SPARQL
• Coq
• Isabelle/jEdit
• Isabelle

This page was built for publication: Relational data across mathematical libraries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287899)