Interoperability in the OpenDreamKit project: The math-in-the-middle approach

Müller D, Wiesing T, Thiery N, Dehaye P, Iancu M, Kohlhase M, Konovalov A, Lelièvre S, Pfeiffer M, Rabe F (2016)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2016

Publisher: Springer Verlag

Book Volume: 9791

Pages Range: 117-131

ISBN: 9783319425467

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

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Tom Wiesing Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

University of Paris 11 - Paris-Sud / Université Paris XI Paris-Sud FR France (FR) University of St Andrews GB United Kingdom (GB)

How to cite

APA:

Müller, D., Wiesing, T., Thiery, N., Dehaye, P., Iancu, M., Kohlhase, M.,... Rabe, F. (2016). Interoperability in the OpenDreamKit project: The math-in-the-middle approach. In Proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016 (pp. 117-131). Springer Verlag.

MLA:

Müller, Dennis, et al. "Interoperability in the OpenDreamKit project: The math-in-the-middle approach." Proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016 Springer Verlag, 2016. 117-131.

BibTeX: Download