基于公式的数学搜索引擎的研究与开发

项目名称： 基于公式的数学搜索引擎的研究与开发

项目编号： No.60903102

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 苏伟

作者单位： 兰州大学

项目金额： 17万元

中文摘要： 本项目主要研究以数学公式为基础的信息检索方法，构建一个数学搜索引擎系统MathSearch，实现在WWW上对含有数学公式、数学符号及数学相关内容的网页、文档、资料的搜索。本项目具体包含：1. 数学搜索数据源的界定及表达方式之间的转换研究; 2. 公式输入方法和用户界面的建立与研究; 3. 数学公式查询语言规范的建立与研究; 4. 数学公式索引的建立与研究; 5. 数学搜索系统性能与质量的研究; 6.搜索结果排序及显示研究。总体而言，数学搜索引擎MathSearch拟对数学公式进行细粒度搜索，该方法比通用文本搜索引擎系统在数学内容搜索上具有更强的功能和更高的效率。本项目还拟将细粒度的数学搜索与计算机代数系统（ CAS）相结合，并建立高效的数学公式查询语言，对数学公式建立更为行之有效的索引，来实现基于公式的数学搜索。

中文关键词： 数学搜索引擎；数学公式查询语言；数学公式索引；排序算法；MathML

英文摘要：

英文关键词： mathematics search engine；mathematical formula；index model；sorting algorithm；MathML