摘要
简介了数学标记语言MathML内容编码的规范,并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库,对两个数学表达式进行树型模式匹配和算式变换来实现。
Describes the specification of MathML content coding and proposes a feasible approach for judging the equipollence of MathML-based math expressions.This approach is implemented by rule set building,tree pattern matching and math expression transformation.
出处
《计算机应用研究》
CSCD
北大核心
2004年第11期54-56,共3页
Application Research of Computers
基金
国家"十五"科技攻关资助项目(2001BA101A06 01)
