保罗·奥利维尔·德哈伊；米尼亚·伊恩库；迈克尔·科尔哈斯；亚历山大·科诺瓦洛夫；塞缪尔·莱利耶夫尔；穆勒，丹尼斯；马库斯·普菲弗；弗洛里安·拉贝；尼古拉斯·M·蒂埃里。；汤姆·威辛 OpenDreamKit项目中的互操作性：中间的方法。 （英语） Zbl 1344.68268号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，117-131（2016）。 总结：OpenDreamKit（开放梦想工具包）–“促进数学发展的开放数字研究环境工具包”–是一个H2020欧盟研究基础设施项目，旨在在2015-2019年期间支持开源数学软件系统的生态系统。OpenDreamKit（开放梦想工具包）将提供一个灵活的工具包，使研究小组能够建立虚拟研究环境，以满足纯数学和应用研究项目的各种需求。在OpenDreamKit（开放梦想工具包）努力促进各种系统之间的互操作性，从数学数据库上的计算机代数系统到前端系统。这是集成工作包的任务。我们报告了与中间数学方法。该体系结构由一个中央数学本体组成，该本体记录了域并修复了一个联合词汇表，甚至一种语言，超越了现有系统（如OpenMath），并与各种系统功能的规范。然后，围绕这个体系结构旋转，可以丰富系统之间的交互。有关整个系列，请参见[Zbl 1342.68025号]. 引用于三文件 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 68立方英尺 知识表示 软件：OMDoc公司；间隙；SageMath公司；LMFDB公司；SCSCP公司；MMT公司；OpenDreamKit（开放梦想工具包）；GAPDoc公司；github PDF格式BibTeX公司 XML格式引用 \textit{P.-O.Dehaye}等人，Lect。票据计算。科学。9791、117--131（2016年；Zbl 1344.68268） 全文： 内政部 arXiv公司 参考文献： [1] Ausbrooks，R.：数学标记语言（MathML）v.2.0。In:万维网联盟建议（2003） [2] Breuer，T.，Linton，S.：GAP 4类型系统：组织代数算法。载：《1998年符号与代数计算国际研讨会论文集》，ISSAC 1998，第38-45页。ACM公司·Zbl 0918.68050号 ·doi:10.1145/281508.281540 [3] Buswell，S.等人：开放数学标准。技术报告2.0版。开放数学协会（2004） [4] Caprotti，O.，Dewar，M.，Turi，D.：使用描述逻辑和OWL的数学服务匹配。技术报告，MONET联盟（2004年）·兹比尔1108.68585 [5] 贤明的开发商。SageMath the Sage数学软件系统（7.0版）（2016）。http://www.sagemath.org [6] EINFRA-9：虚拟研究环境的电子基础设施。http://ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/topics/2144-einfra-9-2015.html [7] GAP-组，算法，编程，4.8.2版。GAP集团（2016年）。http://www.gap-system.org [8] Horn，P.，Roozemond，D.：SCIEnce中的OpenMath:SCSCP和POPCORN。收录：Carette，J.，Dixon，L.，Coen，C.S.，Watt，S.M.（编辑）MKM 2009，作为CICM 2009的一部分持有。LNCS（LNAI），第5625卷，第474-479页。斯普林格，海德堡（2009）·兹比尔1247.68316 ·doi:10.1007/978-3642-02614-0_38 [9] Kohlhase，M.，Mance，F.，Rabe，F.：双形理论图的通用机器。作者：Carette，J.、Aspinall，D.、Lange，C.、Sojka，P.、Windsteiger，W.（编辑）CICM 2013。LNCS，第7961卷，第82-97页。斯普林格，海德堡（2013）。doi:10.1007/978-3-642-39320-4·兹比尔1268.68008 ·doi:10.1007/978-3-642-39320-4 [10] Kohlhase，M.:OMDoc–数学文档的开放标记格式[版本1.2]。LNCS（LNAI），第4180卷。斯普林格，海德堡（2006）。http://omdoc.org/pubs/omdoc1.2.pdf ·doi:10.1007/11826095 [11] 科尔哈斯，M.：灵活形式主义宣言。摘自：Voronkov，A.等人（编辑），第14届科学计算符号和数字算法国际研讨会（SYNASC 2012），第30-36页。IEEE出版社，Timisoara（2013） [12] Rabe，F.、Kohlhase，M.、Sacerdoti Coen，C.：关于集成问题的基本观点。摘自：Davenport，J.H.、Farmer，W.M.、Urban，J.、Rabe，F.（编辑）《2011年MKM》和《2011年Calculemus》。LNCS，第6824卷，第107–122页。斯普林格，海德堡（2011）·Zbl 1278.68289号 ·doi:10.1007/978-3-642-22673-18 [13] Kanayama，H.，Watanabe，H.：通过带注释的中心语言进行多语言翻译。摘自：MT-Summit IX会议记录，第202-207页（2003年） [14] LMFDB GitHub存储库。https://github.com/LMFDB/LMFDB [15] LMFDB库存GitHub存储库。https://github.com/LMFDB/LMFDB-inventory [16] LMFDB知识数据库。http://lmfdb.org/knowledge网站/ [17] 基于有理数的最小Weierstrass方程的LMFDB知识数据库条目。http://lmfdb.org/knowledge/show/ec.q.minimal_weierstrass_equation [18] Lübeck，F.，Neunhöffer，M.：GAPDoc，GAP文档的元包，1.5.1版（2012年）。http://www.math.rwth-aachen.de/弗兰克。卢贝克/GAPDoc [19] Rabe，F.：MMT语言与系统。https://svn.kwarc.info/repos/MMT/doc/html。2011年10月11日访问 [20] OpenDreamKit用于数学进步的开放数字研究环境工具包。http://opendreamkit.org [21] 研究数据联盟类型注册工作组。https://rd-alliance.org/groups/data-type-registries-wg.html [22] Rabe，F.，Kohlhase，M.：可扩展模块系统。Inf.计算。230, 1–54 (2013) ·Zbl 1358.68283号 ·doi:10.1016/j.ic.2013.06.001 [23] 蒂埃里，N.M.等人：《圣人的元素、父母、类别：入门》。http://combing.adminath.org/doc/reference/categories/sage/categories/primer.html [24] Wiederhold，G.：未来信息系统架构中的中介。计算机25（3），38–49（1992）·Zbl 05088004号 ·doi:10.1109/2.121508 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。