Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation

Bercic K, Kohlhase M, Rabe F (2019)

Publication Type: Conference contribution, Original article

Publication year: 2019

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: Springer Verlag

Book Volume: 11617 LNAI

Pages Range: 28-43

Conference Proceedings Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Event location: Prague CZ

ISBN: 9783030232498

DOI: 10.1007/978-3-030-23250-4_3

Abstract

Data plays an increasing role in applied and even pure mathematics: datasets of concrete mathematical objects proliferate and increase in size, reaching up to 1 TB of uncompressed data and millions of objects. Most of the datasets, especially the many smaller ones, are maintained and shared in an ad hoc manner. This approach, while easy to implement, suffers from scalability and sustainability problems as well as a lack of interoperability both among datasets and with computation systems. In this paper we present another substantial step towards a unified infrastructure for mathematical data: a storage and sharing system with math-level APIs and UIs that makes the various collections findable, accessible, interoperable, and re-usable. Concretely, we provide a high-level data description framework from which database infrastructure and user interfaces can be generated automatically. We instantiate this infrastructure with several datasets previously collected by mathematicians. The infrastructure makes it relatively easy to add new datasets.

Authors with CRIS profile

Katja Bercic Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Bercic, K., Kohlhase, M., & Rabe, F. (2019). Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. In Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 28-43). Prague, CZ: Springer Verlag.

MLA:

Bercic, Katja, Michael Kohlhase, and Florian Rabe. "Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation." Proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, Prague Ed. Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk, Springer Verlag, 2019. 28-43.

BibTeX: Download