文件名称:论文研究-基于MathML的数学表达式等价性的研究.pdf
文件大小:99KB
文件格式:PDF
更新时间:2022-08-11 17:31:17
MathML,树型模式匹配,数学表达式,算式变换
简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。
文件名称:论文研究-基于MathML的数学表达式等价性的研究.pdf
文件大小:99KB
文件格式:PDF
更新时间:2022-08-11 17:31:17
MathML,树型模式匹配,数学表达式,算式变换
简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。