论文部分内容阅读
计算机表示和存储数学公式是近几年研究的一个热点,目前计算机存储和表示数学公式的方法主要有MathML,OpenMath,LaTeX和Infix。这些表示方法具有各自的特点和优点,因此使用的范围和领域各不相同。数学标记语言的多样性给用户提供了更多选择,但与此同时,也带来了诸多问题,如不同系统之间由于采用的数学公式表示方法不同,无法进行数据的交互,此外,同一数据为了能够适应不同系统需求,需要多次重复输入。因此研究数学公式转换方法,实现不同数学公式格式转换服务具有很强的现实意义。本文在研究数学公式标记语言和现有公式转换技术的基础上,提出了数学公式编辑器MathEdit的公式转换实现方案。实现了MathML Content,MathMLPresentation,OpenMath,LaTeX和Infix之间的相互转换。本文主要工作如下:1本文提出了Infix与MathML相互转换的解决方案,采用堆栈原理和链表结构实现了Infix转换MathML;采用解析MathML DOM树,实现了Content到Infix转换。2.本文深入分析并给出了OpenMath与MathML Content之间的对应关系及LaTeX和MathMLPresentation数学表达式中的数学结构和符号的映射关系。3.本文还提出了基于REST的数学公式转换Web服务,提供MathMLContent,MathML Presentation,OpenMath,LaTeX之间的转换服务,同时提供数学公式的图片、pdf、ps和dvi格式的生成服务。