https://hal.uvsq.fr/hal-02177217Kohlhase, M.M.KohlhaseFAU - Friedrich-Alexander Universität Erlangen-Nürnbergde Feo, L.L.de FeoLMV - Laboratoire de Mathématiques de Versailles - UVSQ - Université de Versailles Saint-Quentin-en-Yvelines - Université Paris-Saclay - CNRS - Centre National de la Recherche ScientifiqueMüller, D.D.MüllerFAU - Friedrich-Alexander Universität Erlangen-NürnbergPfeiffer, M.M.PfeifferUniversity of St Andrews [Scotland]Rabe, F.F.RabeJacobs University [Bremen]Thiéry, N.M.N.M.ThiéryUP11 - Université Paris-Sud - Paris 11Vasilyev, V.V.VasilyevUniversity of St Andrews [Scotland]Wiesing, T.T.WiesingFAU - Friedrich-Alexander Universität Erlangen-NürnbergKnowledge-based interoperability for mathematical software systemsHAL CCSD2017Computation theoryComputer softwareGroup theoryKnowledge based systemsCentral systemsComputational group theoryKnowledge basedMathematical softwareMultiple systemsSoftware systemsTheoretical mathematicsVirtual research environmentInteroperability[MATH] Mathematics [math]HAL UVSQ, ÉquipeKotsireas I.S.Blomer J.Simos D.E.Kutsia T.2019-07-08 17:12:052022-06-25 22:37:542019-07-08 17:12:05enConference papers10.1007/978-3-319-72453-9_141There 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 particular 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 report on a case study that instantiates the MitM paradigm the systems GAP, SageMath, 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. © Springer International Publishing AG 2017.