汉斯·格特·格拉贝 符号研究数据的语义软件指纹。 （英语） Zbl 1434.68655号 Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9725, 411-418 (2016). 总结：符号数据项目是在与项目相关的研究数据上建立一个导航结构。2009年，我们开始根据基于资源描述框架（RDF）的标准语义web概念重构数据和元数据，从而打开了链接开放数据世界的大门。{}用于导航目的的主要元数据概念之一是将语义感知指纹作为给定数据的语义健全不变量。我们将这一原理首次用于在多项式系统数据中导航，并将其应用于新集成的多面体和传递群上的数据集符号数据版本3，也在整数编程的测试集的重新编译版本中。{}基于RDF的指纹表示允许使用SPARQL查询机制作为通用web服务在此类数据中进行统一导航甚至交叉导航，与传统上在计算机代数领域中使用的元数据管理相比，这是一个明显的优势。{}在本文中，我们仅讨论了我们的指纹方法的概念背景，并参考了符号数据有关如何使用该服务的更多详细信息和示例，请访问wiki。关于整个系列，请参见[Zbl 1342.68017号]. 引用于1文件 MSC公司： 68伏35 数字数学图书馆和知识库 68瓦30 符号计算和代数计算 关键词：语义技术;RDF公司;计算机代数;元数据管理;SPARQL查询机制 软件：Normaliz公司;S评估;FRISCO公司;OpenDreamKit（开放梦想工具包）;多晶的;PoSSo公司;符号数据;SageMath公司 PDF格式BibTeX公司 XML格式引用 \textit{H.-G.Gräbe}，莱克特。票据计算。科学。9725、411--418（2016年；Zbl 1434.68655） 全文： 内政部 参考文献： [1] Bachmann，O.，Gräbe，H.-G.：符号数据项目-建立计算机代数软件基准的工具和数据电子库。《计算机代数报告27》，凯泽斯劳滕大学计算机代数中心（2000年） [2] Bruns，W.，Ichim，B.，Römer，T.，Sieg，R.，Söger，C.：Normaliz:有理圆锥和仿射单体的算法，2016年3月8日。https://www.normalize.uni-osnabureck.de [3] DFG在Forschungsdaten取得了Leitlinien zum Umgang的领先。DFG-杂志《Wissenschaft信息》第66期（2015年）。http://www.dfg.de/forerdeng/info_wissenschaft/2015/info_wissenstchaft_15_66/index.html . 2016年5月7日 [4] 研究基础设施战略报告。2016年路线图。由欧洲基础设施研究战略论坛（ESFRI）出版，布鲁塞尔（2016）。http://www.esfri.eu/roadmap-2016 . 2016年3月16日 [5] FRISCO：集成符号/数字计算框架（1996-1999）。http://www.nag.co.uk/projects/FRISCO.html . 2016年2月19日 [6] Gawrilow，E.，Joswig，M.：Polymake:分析凸多面体的框架。收录：Kalai，G.，Ziegler，G.M.（编辑）《多面体-组合数学与计算》。DMV研讨会，第29卷，第43-73页。Birkhäuser，巴塞尔（2000年）·Zbl 0960.68182号 ·doi:10.1007/978-3-0348-8438-92 [7] Gräbe，H.-G.，Johanning，S.，Nareike，A.：符号数据项目——走向计算机代数社交网络。In:2014年CICM研讨会和工作进展文件，CEUR-WS.org，第1186卷（2014） [8] 哈丁：公地的悲剧。《科学》162（3859），1243-1248（1968）。doi:10.1126/science.162.3859.1243·doi:10.1126/science.162.3859.1243 [9] Heinle，A.，Levandovskyy，V.：SDEval基准测试工具包。ACM通信。计算。代数49（1），1-10（2015）·Zbl 1365.68493号 ·doi:10.1145/2768577.2768578 [10] Klüners，J.，Malle，G.：数字字段数据库，2016年3月8日。http://galoisdb.math.uni-paderborn.de/ ·Zbl 1067.11516号 [11] OpenDreamKit：促进数学发展的开放数字研究环境工具包，2016年3月16日。http://opendreamkit.org/ , http://cordis.europa.eu/project/rcn/198334_en.html [12] Paffenholz，A.：Polytope数据库，2016年3月8日。http://www.mathematik.tu-darmstadt.de/帕芬霍尔兹/数据/ [13] PoSSo项目。多项式系统求解-ESPRIT III BRA 6846（1992–1995） [14] 研究基础设施，包括电子基础设施，2016年3月16日。http://ec.europa.eu/programmes/horizon2020/en/h2020-section/research-infrastructures-including-e-infrastrouctures [15] SageMath项目，2016年3月16日。网址：http://www.sagemath.org/ [16] SymbolicData RDF数据存储，2016年3月15日。http://symbolicdata.org/Data [17] SymbolicData SPARQL端点，2016年2月19日。http://symbolicdata.org:8890/sparql [18] SymbolicData项目Wiki，2016年3月13日。http://wiki.symbolicdata.org [19] swMATH–数学软件的新信息服务，2016年3月7日。网址：http://www.swmath.org/ 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。