论文部分内容阅读
将不同格式的数学公式转换为某种统一格式以保证搜索与处理数学信息的广泛性与兼容性，是实现数学公式检索的基础。本文首先对数学公式在网络和计算机中的主流表达形式及其转换与检索技术进行了综述。在对目前广泛使用的LaTeX、MathML和MTEF等格式进行研究与分析的基础上，基于MathML，通过适当添加有利于提高检索效率与准确性的属性，设计了一种专门面向检索需求的、具有较高数学语法语义表现能力的数学公式描述格式。然后，分别采用树形结构、前缀表达式研究了其与MathML和LaTeX、Infix格式间的相互转换问题，对LaTeX、MathML、MTEF和Infix格式与本文所定义的数学公式格式之间的相互转换进行了论述,并通过转换实验验证了所定义数学公式描述格式与相应的转换算法的有效性。