Skip to content

Research at St Andrews

Knowledge-based interoperability for mathematical software systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Johannes Pfeiffer, Florian Rabe, Nicolas Thiéry, Victor Vasilyev, Tom Wiesing

School/Research organisations

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.
Close

Details

Original languageEnglish
Title of host publicationMathematical Aspects of Computer and Information Sciences
Subtitle of host publication7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
EditorsJohannes Blömer, Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos
Place of PublicationCham
PublisherSpringer
Pages195-210
ISBN (Electronic)9783319724539
ISBN (Print)9783319724522
DOIs
StatePublished - 2017
Event7th International Conference on Mathematical Aspects of Computer and Information Sciences - University of Applied Sciences Technikum Wien, Vienna, Austria
Duration: 15 Nov 201717 Nov 2017
Conference number: 7
https://macis2017.sba-research.org/

Publication series

NameLecture Notes in Computer Science (Theoretical Computer Science and General Issues)
PublisherSpringer
Volume10693
ISSN (Print)0302-9743

Conference

Conference7th International Conference on Mathematical Aspects of Computer and Information Sciences
Abbreviated titleMACIS
CountryAustria
CityVienna
Period15/11/1717/11/17
Internet address

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. New refiners for permutation group search

    Jefferson, C., Pfeiffer, M. & Waldecker, R. 11 Jan 2018 In : Journal of Symbolic Computation. 92, p. 70-92 23 p.

    Research output: Contribution to journalArticle

  2. Minimal and canonical images

    Jefferson, C., Jonauskyte, E., Pfeiffer, M. & Waldecker, R. 22 Nov 2018 In : Journal of Algebra. In press

    Research output: Contribution to journalArticle

  3. Two variants of the froidure-pin algorithm for finite semigroups

    Jonusas, J., Mitchell, J. D. & Pfeiffer, M. 8 Feb 2018 In : Portugaliae Mathematica. 74, 3, p. 173-200 28 p.

    Research output: Contribution to journalArticle

  4. Francy - an interactive discrete mathematics framework for GAP

    Martins, M. M. & Pfeiffer, M. J. 2018 Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Davenport, J. H., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham: Springer, p. 352-358 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); vol. 10931)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Finite presentability and isomorphism of Cayley graphs of monoids

    Awang, J. S., Pfeiffer, M. J. & Ruskuc, N. Nov 2017 In : Proceedings of the American Mathematical Society. 145, 11, p. 4585-4593

    Research output: Contribution to journalArticle

ID: 251333725