| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 目录 | 第9-13页 |
| 第一章 绪论 | 第13-28页 |
| ·引言 | 第13页 |
| ·背景知识介绍 | 第13-16页 |
| ·WME简介 | 第13-14页 |
| ·计算机代数系统简介 | 第14-16页 |
| ·数学公式表示格式总结 | 第16-20页 |
| ·基于XML的标记语言格式 | 第17-19页 |
| ·基于ASCⅡ码的线性字符串格式 | 第19-20页 |
| ·数学公式编辑方法总结 | 第20-23页 |
| ·可视化编辑输入 | 第21页 |
| ·半可视化输入方法 | 第21-22页 |
| ·代码格式输入方法 | 第22页 |
| ·语音输入 | 第22页 |
| ·手写输入 | 第22-23页 |
| ·研究动机和需求 | 第23-25页 |
| ·本文主要内容和结构 | 第25-28页 |
| ·本文的主要研究工作和成果 | 第25-26页 |
| ·本文的主要结构 | 第26-28页 |
| 第二章 MathEdit | 第28-37页 |
| ·MathEdit简介 | 第28-29页 |
| ·数学公式编辑方法 | 第29-31页 |
| ·点击式可视化编辑方法 | 第29-30页 |
| ·拖拽式可视化编辑方法 | 第30页 |
| ·命令行编辑方法 | 第30-31页 |
| ·可视化编辑方法中的公式输入和导航 | 第31-35页 |
| ·本章小结 | 第35-37页 |
| 第三章 数学公式标准中缀语言 | 第37-50页 |
| ·计算机代数系统中Infix线性格式语法对比研究 | 第37-41页 |
| ·基于Presentation的Infix格式研究 | 第41-44页 |
| ·数学公式Infix格式在教育中应用研究 | 第44-46页 |
| ·数学公式标准中缀语言 | 第46-49页 |
| ·本章小结 | 第49-50页 |
| 第四章 数学公式格式转换方法研究 | 第50-83页 |
| ·转换模型及转换方法分析 | 第50-53页 |
| ·表现型公式到语义型公式转换关键问题研究 | 第53-58页 |
| ·MSIL到MathML的转换方法 | 第58-61页 |
| ·MathML Content到MSIL的转换方法 | 第61-65页 |
| ·MathML Content到MathML Presentation | 第65-69页 |
| ·MathML到中国数学盲文转换方法 | 第69-75页 |
| ·中国数学盲文简介 | 第69-71页 |
| ·转换方法 | 第71-74页 |
| ·转换步骤 | 第74-75页 |
| ·其他格式转换 | 第75-78页 |
| ·数学公式格式转换Web Service | 第78-81页 |
| ·Web Service简介 | 第78-79页 |
| ·数学公式格式转换Web Service概述 | 第79-81页 |
| ·本章小结 | 第81-83页 |
| 第五章 数学公式表示复杂度及在公式分解中的应用 | 第83-99页 |
| ·数学公式的复杂度 | 第83-84页 |
| ·Kolmogorov复杂性和Binary Lambda演算 | 第84-87页 |
| ·Kolmogorov复杂性 | 第84-85页 |
| ·Binary Lambda演算 | 第85-87页 |
| ·数学公式表示复杂度的概念 | 第87-89页 |
| ·表示复杂度计算方法 | 第89-93页 |
| ·表示复杂度计算方法概述 | 第89页 |
| ·表示复杂度计算步骤 | 第89-91页 |
| ·表示复杂度计算实例 | 第91-92页 |
| ·讨论 | 第92-93页 |
| ·数学公式表示复杂度在数学公式智能分解中的应用 | 第93-98页 |
| ·本章小结 | 第98-99页 |
| 第六章 MathEdit特征与优点 | 第99-111页 |
| ·MathEdit的可定制性 | 第99-101页 |
| ·Web API | 第101-103页 |
| ·Content编辑模式与Prensentation编辑模式 | 第103-106页 |
| ·基于Content的编辑模式 | 第104-105页 |
| ·基于Presentation的编辑模式 | 第105-106页 |
| ·MathEdit与其他公式编辑器对比研究 | 第106-110页 |
| ·本章小结 | 第110-111页 |
| 参考文献 | 第111-117页 |
| 在学期间的研究成果 | 第117-120页 |
| 致谢 | 第120-121页 |
| 附录 | 第121-135页 |
| 附录一:Mathematica、Maple、Maxima语法比较 | 第121-126页 |
| 附录二 ASCⅡMathML与MS Word 2007中Infix输入特殊符号 | 第126-129页 |
| 附录三:MathML与OpenMath元素对应关系 | 第129-130页 |
| 附录四:MathEditCML实例 | 第130-133页 |
| 附录五 常用的数学公式 | 第133-135页 |
