计算机应用与软件2012，Vol.29Issue(8)：30-33,4.
Presentation数学公式到Content转换关键问题研究
ON KEY ISSUES OF CONVERTING PRESENTATION MATHEMATICS FORMULAS TO CONTENT
摘要
Abstract
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.关键词
公式搜索/数学公式/MathML/类型推测/类型系统Key words
Mathematics search/Mathematics formula/MathML/Type deduction/Type system分类
信息技术与安全科学引用本文复制引用
蔡川,苏伟,李廉..Presentation数学公式到Content转换关键问题研究[J].计算机应用与软件,2012,29(8):30-33,4.基金项目
国家自然科学基金项目(61003139,60903102) （61003139,60903102）
教育部-英特尔信息技术专项科研基金(MOE-INTEL-11-03) （MOE-INTEL-11-03）
兰州大学中央高校基本科研业务费专项资金(lzujbky-2010-90). （lzujbky-2010-90）
