×

数学的计算机工具

swMATH编号: 26267
软件作者: 安德烈·格雷纳-佩特;莫里茨·舒博茨(Moritz Schubotz);霍华德·科尔。;吉普,贝拉
描述: MathTools:一个用于方便MathML处理的开放API。数学公式以各种格式携带复杂和基本的语义信息。使用不同的系统访问这些信息需要标准化的机器可读格式,该格式能够编码表示和语义信息。尽管MathML是W3C的官方推荐,也是表示数学表达式的ISO标准,但我们只能识别出极少数使用MathML的完整描述性的系统。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文件

按年份列出的引文