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

• 作者: 刘峰 袁春风
• 来源期刊: 计算机应用研究
• 关键词: MathML 树型模式匹配 数学表达式 算式变换
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 研究探讨
• 页码范围: 54-56
• 页数: 3页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2004.11.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁春风	南京大学计算机软件新技术国家重点实验室	51	926	18.0	29.0
2	刘峰	南京大学计算机软件新技术国家重点实验室	17	102	6.0	9.0