{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:20:51Z","timestamp":1774592451494,"version":"3.50.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319425467","type":"print"},{"value":"9783319425474","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42547-4_9","type":"book-chapter","created":{"date-parts":[[2016,7,11]],"date-time":"2016-07-11T05:15:43Z","timestamp":1468214143000},"page":"117-131","source":"Crossref","is-referenced-by-count":15,"title":["Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach"],"prefix":"10.1007","author":[{"given":"Paul-Olivier","family":"Dehaye","sequence":"first","affiliation":[]},{"given":"Mihnea","family":"Iancu","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Konovalov","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Leli\u00e8vre","sequence":"additional","affiliation":[]},{"given":"Dennis","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Pfeiffer","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Rabe","sequence":"additional","affiliation":[]},{"given":"Nicolas M.","family":"Thi\u00e9ry","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Wiesing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,12]]},"reference":[{"key":"9_CR1","unstructured":"Ausbrooks, R.: Mathematical Markup Language (MathML) v. 2.0. In: World Wide Web Consortium Recommendation (2003)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"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\u201345. ACM","DOI":"10.1145\/281508.281540"},{"key":"9_CR3","unstructured":"Buswell, S., et al.: The Open Math standard. Technical report Version 2.0. The Open Math Society (2004)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Caprotti, O., Dewar, M., Turi, D.: Mathematical Ser vice Matching Using Description Logic and OWL. Technical report, The MONET Consortium (2004)","DOI":"10.1007\/978-3-540-27818-4_6"},{"key":"9_CR5","unstructured":"The Sage Developers. SageMath the Sage Mathematics Software System (Version 7.0) (2016). http:\/\/www.sagemath.org"},{"key":"9_CR6","unstructured":"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"},{"key":"9_CR7","unstructured":"GAP-Groups, Algorithms, Programming, Version 4.8.2. The GAP Group (2016). http:\/\/www.gap-system.org"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/978-3-642-02614-0_38","volume-title":"Intelligent Computer Mathematics","author":"P Horn","year":"2009","unstructured":"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\u2013479. Springer, Heidelberg (2009)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-39320-4","volume-title":"Intelligent Computer Mathematics","author":"M Kohlhase","year":"2013","unstructured":"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\u201397. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39320-4"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","DOI":"10.1007\/11826095","volume-title":"OMDoc\u2013An Open Markup Format for Mathematical Documents [version 1.2]","author":"M Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc\u2013An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006). http:\/\/omdoc.org\/pubs\/omdoc1.2.pdf"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"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\u201336. IEEE Press, Timisoara (2013)","DOI":"10.1109\/SYNASC.2012.78"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-642-22673-1_8","volume-title":"Intelligent Computer Mathematics","author":"F Rabe","year":"2011","unstructured":"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\u2013122. Springer, Heidelberg (2011)"},{"key":"9_CR13","unstructured":"Kanayama, H., Watanabe, H.: Multilingual translation via annotated hub language. In: Proceedings of MT-Summit IX, pp. 202\u2013207 (2003)"},{"key":"9_CR14","unstructured":"LMFDB GitHub repository. https:\/\/github.com\/LMFDB\/lmfdb"},{"key":"9_CR15","unstructured":"LMFDB inventory GitHub repository. https:\/\/github.com\/LMFDB\/lmfdb-inventory"},{"key":"9_CR16","unstructured":"LMFDB Knowledge Database. http:\/\/lmfdb.org\/knowledge\/"},{"key":"9_CR17","unstructured":"LMFDB Knowledge Database entry for Minimal Weierstrass equation over the rationals. http:\/\/lmfdb.org\/knowledge\/show\/ec.q.minimal_weierstrass_equation"},{"key":"9_CR18","unstructured":"L\u00fcbeck, F., Neunh\u00f6ffer, M.: GAPDoc, A Meta Package for GAP Documentation, Version 1.5.1 (2012). http:\/\/www.math.rwth-aachen.de\/~Frank.Luebeck\/GAPDoc"},{"key":"9_CR19","unstructured":"Rabe, F.: The MMT Language and System. https:\/\/svn.kwarc.info\/repos\/MMT\/doc\/html . Accessed 11 Oct 2011"},{"key":"9_CR20","unstructured":"OpenDreamKit Open Digital Research Environment Toolkit for the Advancement of Mathematics. http:\/\/opendreamkit.org"},{"key":"9_CR21","unstructured":"Research Data Alliance Type Registries Working Group. https:\/\/rd-alliance.org\/groups\/data-type-registries-wg.html"},{"key":"9_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2013.06.001","volume":"230","author":"F Rabe","year":"2013","unstructured":"Rabe, F., Kohlhase, M.: A scalable module system. Inf. Comput. 230, 1\u201354 (2013)","journal-title":"Inf. Comput."},{"key":"9_CR23","unstructured":"Thi\u00e9ry, N.M., et al.: Elements, parents, categories in Sage: a primer. http:\/\/combinat.sagemath.org\/doc\/reference\/categories\/sage\/categories\/primer.html"},{"issue":"3","key":"9_CR24","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.121508","volume":"25","author":"G Wiederhold","year":"1992","unstructured":"Wiederhold, G.: Mediators in the architecture of future information systems. Computer 25(3), 38\u201349 (1992)","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42547-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T20:09:44Z","timestamp":1568146184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42547-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319425467","9783319425474"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42547-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}