| 基于MathML的数学表达式等价性的研究* |
| |
| 引用本文： | 刘峰,袁春风.基于MathML的数学表达式等价性的研究*[J].计算机应用研究,2004,21(11):54-56. |
| |
| 作者姓名： | 刘峰 袁春风 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093 |
| |
| 基金项目： | 国家“十五”科技攻关资助项目(2001BA101A06-01) |
| |
| 摘 要： | 简介了数学标记语言MathML内容编码的规范，并提出了判断两个基于MathML内容编码的数学表达式等价性的方法。该方法通过建立数学规则库，对两个数学表达式进行树型模式匹配和算式变换来实现。
|
| 关 键 词： | MathML 树型模式匹配 数学表达式 算式变换 |
| 文章编号： | 1001-3695(2004)11-0054-03 |
| 修稿时间： | 2003年7月6日 |
Research on the Equipollence of MathML-based Math Expressions |
| |
| LIU Feng,YUAN Chun-feng.Research on the Equipollence of MathML-based Math Expressions[J].Application Research of Computers,2004,21(11):54-56. |
| |
| Authors: | LIU Feng YUAN Chun-feng |
| |
| Affiliation: | (State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing Jiangsu 210093,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | MathML Tree Pattern Matching Math Expression Expression Transformation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
