{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T02:45:18Z","timestamp":1725936318130},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319724522"},{"type":"electronic","value":"9783319724539"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-72453-9_14","type":"book-chapter","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T09:35:54Z","timestamp":1513762554000},"page":"195-210","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Knowledge-Based Interoperability for Mathematical Software Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kohlhase","sequence":"first","affiliation":[]},{"given":"Luca","family":"De Feo","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":"Victor","family":"Vasilyev","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Wiesing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"issue":"6","key":"14_CR1","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.1007\/s10208-016-9306-z","volume":"16","author":"J Cremona","year":"2016","unstructured":"Cremona, J.: The L-functions and modular forms database project. Found. Comput. Math. 16(6), 1541\u20131553 (2016). \nhttps:\/\/doi.org\/10.1007\/s10208-016-9306-z","journal-title":"Found. Comput. Math."},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-42547-4_9","volume-title":"Intelligent Computer Mathematics","author":"P-O Dehaye","year":"2016","unstructured":"Dehaye, P.-O., et al.: Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach. In: Kohlhase, M., Johansson, M., Miller, B., de de Moura, L., Tompa, F. (eds.) CICM 2016. LNCS (LNAI), vol. 9791, pp. 117\u2013131. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-42547-4_9\n\n. \nhttps:\/\/github.com\/OpenDreamKit\/OpenDreamKit\/blob\/master\/WP6\/CICM2016\/published.pdf"},{"key":"14_CR3","unstructured":"Freundt, S., et al.: Symbolic computation software composability protocol (SCSCP). Version 1.3. \nhttps:\/\/github.com\/OpenMath\/scscp\/blob\/master\/revisions\/SCSCP_1_3.pdf\n\n. Accessed 27 Aug 2017"},{"key":"14_CR4","unstructured":"The GAP Group: GAP - groups, algorithms, and programming. \nhttp:\/\/www.gap-system.org\n\n. Accessed 30 Aug 2016"},{"key":"14_CR5","unstructured":"Project Jupyter. \nhttp:\/\/www.jupyter.org\n\n. Accessed 22 Aug 2017"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1016\/j.procs.2011.04.063","volume":"4","author":"M Kohlhase","year":"2011","unstructured":"Kohlhase, M., et al.: The planetary system: Web 3.0 & active documents for STEM. Procedia Comput. Sci. 4, 598\u2013607 (2011). \nhttps:\/\/doi.org\/10.1016\/j.procs.2011.04.063\n\n. Sato, M., et al. (eds.) Special issue: Proceedings of the International Conference on Com- putational Science (ICCS). Finalist at the Executable Paper Grand Challenge","journal-title":"Procedia Comput. Sci."},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [Version 1.2]","author":"M Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [Version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11826095\n\n. \nhttp:\/\/omdoc.org\/pubs\/omdoc1.2.pdf"},{"key":"14_CR8","unstructured":"The LMFDB Collaboration: The L-functions and modular forms database. \nhttp:\/\/www.lmfdb.org\n\n. Accessed 02 Jan 2016"},{"key":"14_CR9","unstructured":"MitM\/Foundation. \nhttps:\/\/gl.mathhub.info\/MitM\/Foundation\n\n. Accessed 01 Sept 2017"},{"key":"14_CR10","unstructured":"MitM\/Groups. \nhttps:\/\/gl.mathhub.info\/MitM\/groups\n\n. Accessed 01 Sept 2017"},{"key":"14_CR11","unstructured":"MMT - Language and System for the Uniform Representation of Knowledge. Project web site. \nhttps:\/\/uniformal.github.io\/\n\n. Accessed 30 Aug 2016"},{"key":"14_CR12","unstructured":"M\u00fcller, D., et al.: Alignment-based translations across formal systems using interface theories. In: Fifth Workshop on Proof eXchange for Theorem Proving - PxTP 2017 (2017). \nhttp:\/\/jazzpirate.com\/Math\/AlignmentTranslation.pdf"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-62075-6_7","volume-title":"Intelligent Computer Mathematics","author":"D M\u00fcller","year":"2017","unstructured":"M\u00fcller, D., Gauthier, T., Kaliszyk, C., Kohlhase, M., Rabe, F.: Classification of alignments between concepts of formal mathematical systems. In: Geuvers, H., England, M., Hasan, O., Rabe, F., Teschke, O. (eds.) CICM 2017. LNCS (LNAI), vol. 10383, pp. 83\u201398. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-62075-6_7"},{"key":"14_CR14","unstructured":"OpenMath CD Group: polygrp. \nhttp:\/\/www.openmath.org\/cdgroups\/polygrp.html\n\n. Accessed 01 Sept 2017"},{"key":"14_CR15","unstructured":"An OpenMath 2.0 implementation in Python. \nhttps:\/\/github.com\/OpenMath\/py-openmath\n\n. Accessed 04 Sept 2016"},{"key":"14_CR16","unstructured":"An SCSCP module for Python. \nhttps:\/\/github.com\/OpenMath\/py-scscp\n\n. Accessed 04 Sept 2016"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-642-39320-4_25","volume-title":"Intelligent Computer Mathematics","author":"F Rabe","year":"2013","unstructured":"Rabe, F.: The MMT API: a generic MKM system. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS (LNAI), vol. 7961, pp. 339\u2013343. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-39320-4_25"},{"key":"14_CR18","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). \nhttp:\/\/kwarc.info\/frabe\/Research\/mmt.pdf","journal-title":"Inf. Comput."},{"key":"14_CR19","unstructured":"The Sage Developers: SageMath, the sage mathematics software system. \nhttp:\/\/www.sagemath.org\n\n. Accessed 30 Sept 2016"},{"key":"14_CR20","unstructured":"Singular. \nhttps:\/\/www.singular.uni-kl.de\/\n\n. Accessed 22 Aug 2017"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72453-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T09:42:02Z","timestamp":1513762922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72453-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319724522","9783319724539"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72453-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}