基于MathML的数学表达式等价性的研究

被引：8

作者：

刘峰

袁春风

机构：

[1] 南京大学计算机软件新技术国家重点实验室

来源：

计算机应用研究 | 2004年 / 11期

关键词：

MathML; 树型模式匹配; 数学表达式; 算式变换;

D O I：

暂无

中图分类号：

TP393 [计算机网络];

学科分类号：

081201 ; 1201 ;

摘要：

简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。

引用

收藏

页码：54 / 56

页数：3

相关论文

共 3 条

[1] Fast Pattern Matching in Strings. D E Knuth,J Morris,V R Pratt. SIAM Journal on Computing . 1977
[2] The Semantics of Predicate Logic as a Programming Language. Emden,MH van,Kowalski R A. Journal of the ACM . 1976
[3] MathematicalMarkupLanguage(MathML),version2.0. http://www.w3.org/TR/2003/WD MathML2 20030411 . 2003