帕特里克·伊恩 数学知识管理软件的早期示例。 (英语) Zbl 1403.68281号 Hong,Hoon(编辑)等人,《数学软件——ICMS 2014》。第四届国际会议,韩国首尔,2014年8月5日至9日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-44198-5/pbk)。《计算机科学讲义》8592,31-35(2014)。 概要:软件在数学知识管理(MKM)中有了新的角色。这里将考虑MKM角色的三个简单初始示例。第一个是应用于数学科目分类(MSC)的软件。第二个例子是MathML(数学标记语言),这是W3C的一个标准,现在已经是第三版了,希望成为ISO标准。软件为数学知识服务的第三个例子是使用程序来分析我们学科的性质,正如被视为网络的文献所代表的那样。这些工具是如何部署的,清楚地表明了数学知识管理,即使是以其原始的现存形式,可以帮助数学的进一步发展。以上这些例子只是起点。关于整个系列,请参见[Zbl 1293.65003号]. MSC公司: 68立方英尺 知识表示 关键词:数学知识管理;数学学科分类;移动交换中心;数学标记语言;数学ML;SKOS公司;网络分析 软件:MathJax公司;移动交换中心 PDF格式BibTeX公司 XML格式引用 \textit{P.Ion},莱克特。注释计算。科学。8592,31-35(2014;Zbl 1403.68281) 全文: 内政部