Abstract
OpenDreamKit – “Open Digital Research Environment Toolkit for the Advancement of Mathematics” – is an H2020 EU Research Infrastructure project that aims at supporting, over the period 2015–2019, the ecosystem of open-source mathematical software systems. OpenDreamKit will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications.
An important step in the OpenDreamKit endeavor is to foster the interoperability between a variety of systems, ranging from computer algebra systems over mathematical databases to front-ends. This is the mission of the integration work package. We report on experiments and future plans with the Math-in-the-Middle approach. This architecture consists of a central mathematical ontology that documents the domain and fixes a joint vocabulary, or even a language, going beyond existing systems such as OpenMath, combined with specifications of the functionalities of the various systems. Interaction between systems can then be enriched by pivoting around this architecture.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
We use the word “interface theory” with a slightly different intention when compared to the original use in [KRSC11]: There the core MitM ontology would be an interface between the more specific implementations in the systems, whereas here we use the “interface theories” as interfaces between systems and the core MitM ontology. Technically the same issues apply.
References
Ausbrooks, R.: Mathematical Markup Language (MathML) v. 2.0. In: World Wide Web Consortium Recommendation (2003)
Breuer, T., Linton, S.: The GAP 4 type system: organising algebraic algorithms. In: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC 1998, pp. 38–45. ACM
Buswell, S., et al.: The Open Math standard. Technical report Version 2.0. The Open Math Society (2004)
Caprotti, O., Dewar, M., Turi, D.: Mathematical Ser vice Matching Using Description Logic and OWL. Technical report, The MONET Consortium (2004)
The Sage Developers. SageMath the Sage Mathematics Software System (Version 7.0) (2016). http://www.sagemath.org
EINFRA-9: e-Infrastructure for Virtual Research Environment. http://ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/topics/2144-einfra-9-2015.html
GAP-Groups, Algorithms, Programming, Version 4.8.2. The GAP Group (2016). http://www.gap-system.org
Horn, P., Roozemond, D.: OpenMath in SCIEnce: SCSCP and POPCORN. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS (LNAI), vol. 5625, pp. 474–479. Springer, Heidelberg (2009)
Kohlhase, M., Mance, F., Rabe, F.: A universal machine for biform theory graphs. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 82–97. Springer, Heidelberg (2013). doi:10.1007/978-3-642-39320-4
Kohlhase, M.: OMDoc–An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006). http://omdoc.org/pubs/omdoc1.2.pdf
Kohlhase, M.: The flexiformalist manifesto. In: Voronkov, A., et al. (eds.) 14th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp. 30–36. IEEE Press, Timisoara (2013)
Rabe, F., Kohlhase, M., Sacerdoti Coen, C.: A foundational view on integration problems. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS, vol. 6824, pp. 107–122. Springer, Heidelberg (2011)
Kanayama, H., Watanabe, H.: Multilingual translation via annotated hub language. In: Proceedings of MT-Summit IX, pp. 202–207 (2003)
LMFDB GitHub repository. https://github.com/LMFDB/lmfdb
LMFDB inventory GitHub repository. https://github.com/LMFDB/lmfdb-inventory
LMFDB Knowledge Database. http://lmfdb.org/knowledge/
LMFDB Knowledge Database entry for Minimal Weierstrass equation over the rationals. http://lmfdb.org/knowledge/show/ec.q.minimal_weierstrass_equation
Lübeck, F., Neunhöffer, M.: GAPDoc, A Meta Package for GAP Documentation, Version 1.5.1 (2012). http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc
Rabe, F.: The MMT Language and System. https://svn.kwarc.info/repos/MMT/doc/html. Accessed 11 Oct 2011
OpenDreamKit Open Digital Research Environment Toolkit for the Advancement of Mathematics. http://opendreamkit.org
Research Data Alliance Type Registries Working Group. https://rd-alliance.org/groups/data-type-registries-wg.html
Rabe, F., Kohlhase, M.: A scalable module system. Inf. Comput. 230, 1–54 (2013)
Thiéry, N.M., et al.: Elements, parents, categories in Sage: a primer. http://combinat.sagemath.org/doc/reference/categories/sage/categories/primer.html
Wiederhold, G.: Mediators in the architecture of future information systems. Computer 25(3), 38–49 (1992)
Acknowledgements
The authors gratefully acknowledge the other participants of the St Andrews workshop, in particular John Cremona, Luca de Feo, Steve Linton, and Viviane Pons, for discussions and experimentation which clarified the ideas behind the math-in-the-middle approach.
We acknowledge financial support from the OpenDreamKit Horizon 2020 European Research Infrastructures project (#676541), from the EPSRC Collaborative Computational Project CoDiMa (EP/M022641/1) and from the Swiss National Science Foundation grant PP00P2_138906.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Dehaye, PO. et al. (2016). Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. In: Kohlhase, M., Johansson, M., Miller, B., de Moura, L., Tompa, F. (eds) Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science(), vol 9791. Springer, Cham. https://doi.org/10.1007/978-3-319-42547-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-42547-4_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42546-7
Online ISBN: 978-3-319-42547-4
eBook Packages: Computer ScienceComputer Science (R0)