Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

Paul-Olivier Dehaye; Mihnea Iancu; Michael Kohlhase; Alexander Konovalov; Samuel Lelièvre; Dennis Müller; Markus Pfeiffer; Florian Rabe; Nicolas M. Thiéry; Tom Wiesling

doi:10.1007/978-3-319-42547-4_9

Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesling

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Original language	English
Title of host publication	Intelligent Computer Mathematics
Subtitle of host publication	9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Editors	Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
Place of Publication	Cham
Publisher	Springer
Pages	117-131
Number of pages	15
ISBN (Electronic)	9783319425474
ISBN (Print)	9783319425467
DOIs	https://doi.org/10.1007/978-3-319-42547-4_9
Publication status	Published - 2016
Event	Conference on Intelligent Computer Mathematics 2016 - Bialystok, Poland Duration: 25 Jul 2016 → 29 Jul 2016 http://www.cicm-conference.org/2016/cicm.php?event=&menu=general

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Cham
Volume	9791
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Conference on Intelligent Computer Mathematics 2016
Country/Territory	Poland
City	Bialystok
Period	25/07/16 → 29/07/16
Internet address	http://www.cicm-conference.org/2016/cicm.php?event=&menu=general

Access to Document

10.1007/978-3-319-42547-4_9

Dehaye_2016_OpenDreamKit_CICM_AAM
© 2016, Springer International Publishing Switzerland. This work has been made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at link.springer.com / https://doi.org/10.1007/978-3-319-42547-4_9
Accepted author manuscript, 3.7 MB

Cite this

Dehaye, P.-O., Iancu, M., Kohlhase, M., Konovalov, A., Lelièvre, S., Müller, D., Pfeiffer, M., Rabe, F., Thiéry, N. M., & Wiesling, T. (2016). Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. In M. Kohlhase, M. Johansson, B. Miller, L. de Moura, & F. Tompa (Eds.), Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (pp. 117-131). (Lecture Notes in Computer Science; Vol. 9791). Springer. https://doi.org/10.1007/978-3-319-42547-4_9

Dehaye, Paul-Olivier ; Iancu, Mihnea ; Kohlhase, Michael et al. / Interoperability in the OpenDreamKit project : the Math-in-the-Middle approach. Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. editor / Michael Kohlhase ; Moa Johansson ; Bruce Miller ; Leonardo de Moura ; Frank Tompa. Cham : Springer, 2016. pp. 117-131 (Lecture Notes in Computer Science).

@inproceedings{944c476d6636496cab9d2d908169c148,

title = "Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach",

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 xesa 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.",

author = "Paul-Olivier Dehaye and Mihnea Iancu and Michael Kohlhase and Alexander Konovalov and Samuel Leli{\`e}vre and Dennis M{\"u}ller and Markus Pfeiffer and Florian Rabe and Thi{\'e}ry, {Nicolas M.} and Tom Wiesling",

year = "2016",

doi = "10.1007/978-3-319-42547-4_9",

language = "English",

isbn = "9783319425467",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "117--131",

editor = "Michael Kohlhase and Moa Johansson and Bruce Miller and {de Moura}, Leonardo and Frank Tompa",

booktitle = "Intelligent Computer Mathematics",

address = "Netherlands",

note = "Conference on Intelligent Computer Mathematics 2016 ; Conference date: 25-07-2016 Through 29-07-2016",

url = "http://www.cicm-conference.org/2016/cicm.php?event=&menu=general",

}

Dehaye, P-O, Iancu, M, Kohlhase, M, Konovalov, A, Lelièvre, S, Müller, D, Pfeiffer, M, Rabe, F, Thiéry, NM & Wiesling, T 2016, Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. in M Kohlhase, M Johansson, B Miller, L de Moura & F Tompa (eds), Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9791, Springer, Cham, pp. 117-131, Conference on Intelligent Computer Mathematics 2016, Bialystok, Poland, 25/07/16. https://doi.org/10.1007/978-3-319-42547-4_9

Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. / Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael et al.
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. ed. / Michael Kohlhase; Moa Johansson; Bruce Miller; Leonardo de Moura; Frank Tompa. Cham: Springer, 2016. p. 117-131 (Lecture Notes in Computer Science; Vol. 9791).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Interoperability in the OpenDreamKit project

T2 - Conference on Intelligent Computer Mathematics 2016

AU - Dehaye, Paul-Olivier

AU - Iancu, Mihnea

AU - Kohlhase, Michael

AU - Konovalov, Alexander

AU - Lelièvre, Samuel

AU - Müller, Dennis

AU - Pfeiffer, Markus

AU - Rabe, Florian

AU - Thiéry, Nicolas M.

AU - Wiesling, Tom

PY - 2016

Y1 - 2016

N2 - 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 xesa 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.

AB - 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 xesa 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.

UR - http://arxiv.org/abs/1603.06424

U2 - 10.1007/978-3-319-42547-4_9

DO - 10.1007/978-3-319-42547-4_9

M3 - Conference contribution

SN - 9783319425467

T3 - Lecture Notes in Computer Science

SP - 117

EP - 131

BT - Intelligent Computer Mathematics

A2 - Kohlhase, Michael

A2 - Johansson, Moa

A2 - Miller, Bruce

A2 - de Moura, Leonardo

A2 - Tompa, Frank

PB - Springer

CY - Cham

Y2 - 25 July 2016 through 29 July 2016

ER -

Dehaye PO, Iancu M, Kohlhase M, Konovalov A, Lelièvre S, Müller D et al. Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. In Kohlhase M, Johansson M, Miller B, de Moura L, Tompa F, editors, Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Cham: Springer. 2016. p. 117-131. (Lecture Notes in Computer Science). Epub 2016 Jul 12. doi: 10.1007/978-3-319-42547-4_9

Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

H2020 OPENDREAMKIT: OPENDREAMKIT (partner)

Olexandr Konovalov

Cite this

Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Projects

H2020 OPENDREAMKIT: OPENDREAMKIT (partner)

Profiles

Olexandr Konovalov

Cite this