数学的计算机工具 swMATH ID: 26267 软件作者: 安德烈·格雷纳-佩特;莫里茨·舒博茨(Moritz Schubotz);霍华德·科尔。;吉普,贝拉 描述: MathTools:一个用于方便MathML处理的开放API。数学公式以各种格式携带复杂和基本的语义信息。使用不同的系统访问这些信息需要标准化的机器可读格式,该格式能够编码表示和语义信息。尽管MathML是W3C的官方建议,也是表示数学表达式的ISO标准,但我们只能识别出少数几个使用Math ML的完整描述性的系统。MathML的高复杂性导致新手用户学习曲线陡峭。我们假设,这种复杂性是许多社区驱动的项目避免使用MathML的原因,相反,他们开发了针对特定问题的数据格式。我们提供了一个用户友好的开源应用程序编程接口,用于控制MathML数据。我们的API允许在MathML表示和内容中创建、操作和高效访问常用信息。我们的接口还提供了用于计算MathML表达式之间差异和相似性的工具。该API还允许用户使用不同的相似性度量来确定表达式之间的距离。此外,我们还为许多转换工具和规范化项目提供适配器。我们的工具包方便了数字图书馆的数学处理,而无需获得XML专业知识。 主页: https://link.springer.com/chapter/10.1007%2F978-3-319-96812-4_9 关键词: 数学ML;美国石油学会;工具箱;Java语言 相关软件: 乳胶;dh段;马索德;DLMF公司;HyPlag公司;城市广场;VMEXT公司;数学jax;LaTeXML;数学软件;枫树;数学聊天;CoqHammer公司;RISCAL公司;阿里加托.jl;OMDoc公司;MMT公司;米扎尔;伊莎贝尔/HOL;伊莎贝尔 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 MathTools:一个用于方便MathML处理的开放API。 Zbl 1417.68205号安德烈·格雷内·佩特;莫里茨·舒博茨;霍华德·科尔。;吉普,贝拉 2018 全部的 前5名12位作者引用 2 莫里茨·舒博茨 1 贝克,马可 1 伊莎贝尔·贝肯巴赫 1 霍华德·索尔·科尔 1 Farmer,William M。 1 吉普,贝拉 1 安德烈·格雷内·佩特 1 托马斯·哈特曼 1 帕斯莫尔,格兰特·奥尼 1 弗洛里安·拉贝 1 奥拉夫·特施克 1 阿卜杜·尤塞夫。 2篇连载文章中引用 1 欧洲数学学会新闻稿 1 计算机科学课堂讲稿 在2个字段中引用 三 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的引文