Projects per year
Abstract
There is a large ecosystem of mathematical software systems. Individually, these are optimized for particular domains and functionalities, and together they cover many needs of practical and theoretical mathematics. However, each system specializes on one area, and it remains very difficult to solve problems that need to involve multiple systems. Some integrations exist, but the are ad-hoc and have scalability and maintainability issues. In particular, there is not yet an interoperability layer that combines the various systems into a virtual research environment (VRE) for mathematics.
The OpenDreamKit project aims at building a toolkit for such VREs. It suggests using a central system-agnostic formalization of mathematics (Math-in-the-Middle, MitM) as the needed interoperability layer. In this paper, we conduct the first major case study that instantiates the MitM paradigm for a concrete domain as well as a concrete set of systems. Specifically, we integrate GAP, Sage, and Singular to perform computation in group and ring theory.
Our work involves massive practical efforts, including a novel formalization of computational group theory, improvements to the involved software systems, and a novel mediating system that sits at the center of a star-shaped integration layout between mathematical software systems.
The OpenDreamKit project aims at building a toolkit for such VREs. It suggests using a central system-agnostic formalization of mathematics (Math-in-the-Middle, MitM) as the needed interoperability layer. In this paper, we conduct the first major case study that instantiates the MitM paradigm for a concrete domain as well as a concrete set of systems. Specifically, we integrate GAP, Sage, and Singular to perform computation in group and ring theory.
Our work involves massive practical efforts, including a novel formalization of computational group theory, improvements to the involved software systems, and a novel mediating system that sits at the center of a star-shaped integration layout between mathematical software systems.
Original language | English |
---|---|
Title of host publication | Mathematical Aspects of Computer and Information Sciences |
Subtitle of host publication | 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings |
Editors | Johannes Blömer, Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos |
Place of Publication | Cham |
Publisher | Springer |
Pages | 195-210 |
ISBN (Electronic) | 9783319724539 |
ISBN (Print) | 9783319724522 |
DOIs | |
Publication status | Published - 2017 |
Event | 7th International Conference on Mathematical Aspects of Computer and Information Sciences - University of Applied Sciences Technikum Wien, Vienna, Austria Duration: 15 Nov 2017 → 17 Nov 2017 Conference number: 7 https://macis2017.sba-research.org/ |
Publication series
Name | Lecture Notes in Computer Science (Theoretical Computer Science and General Issues) |
---|---|
Publisher | Springer |
Volume | 10693 |
ISSN (Print) | 0302-9743 |
Conference
Conference | 7th International Conference on Mathematical Aspects of Computer and Information Sciences |
---|---|
Abbreviated title | MACIS |
Country/Territory | Austria |
City | Vienna |
Period | 15/11/17 → 17/11/17 |
Internet address |
Fingerprint
Dive into the research topics of 'Knowledge-based interoperability for mathematical software systems'. Together they form a unique fingerprint.Projects
- 1 Finished
-
H2020 OPENDREAMKIT: OPENDREAMKIT (partner)
Linton, S. A. (PI) & Konovalov, O. (CoI)
1/09/15 → 31/08/19
Project: Standard