Presentation数学公式到Content转换关键问题研究

摘要

There are various formats for mathematics formulas storing and representing in computer. While searching mathematics formulas, there has the need to mutually convert the mathematics formulas in different formats so as to provide to users more abundant search results. In view of the purpose and objective of mathematics formulas, the formats of mathematics formulas in computer can be divided into two categories: the Presentation and the Content. In the paper we mainly study and summarise key issues of converting Presentation formulas to Content formulas, and propose an ambiguity conjecture method for mathematics formulas which is based on type-system. The method can effectively resolve the formulas ambiguity problems in conversion.%数学公式在计算机中的存储和表示格式多种多样,数学公式搜索中需要将各种格式的数学公式相互转换,从而为用户提供更为丰富搜索结果.从数学公式的用途和目的来看,计算机中的数学公式格式可分为Presentation型和Content型.主要研究和总结Presentation型数学公式到Content型数学公式的关键问题,提出基于类型系统的数学公式歧义推测方法,能够有效解决转换中的公式歧义问题.