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

• 作者: 李廉 苏伟 蔡川
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 公式搜索 数学公式 MathML 类型推测 类型系统
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 基金项目论文
• 页码范围: 30-33
• 分类号: TP391.4
• 字数: 3603字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2012.08.008

摘要

数学公式在计算机中的存储和表示格式多种多样,数学公式搜索中需要将各种格式的数学公式相互转换,从而为用户提供更为丰富搜索结果.从数学公式的用途和目的来看,计算机中的数学公式格式可分为Presentation型和Content型.主要研究和总结Presentation型数学公式到Content型数学公式的关键问题,提出基于类型系统的数学公式歧义推测方法,能够有效解决转换中的公式歧义问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李廉	兰州大学信息科学与工程学院	69	731	11.0	26.0
2	苏伟	兰州大学信息科学与工程学院	13	77	5.0	8.0
3	蔡川	兰州大学信息科学与工程学院	6	29	4.0	5.0