A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics

As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, it becomes increasingly valuable to find automated means to manage this data and capture semantics such as relatedness a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lorigo, Lori, Kleinberg, Jon, Eaton, Richard, Constable, Robert
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Dependency Graph Digital Library Exact sciences and technology Interactive Theorem Prover Learning and adaptive systems List Theory Logical Dependency
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!