数学公式信息检索系统  

Mathematical Formula Information Retrieval System

作　　者：侯勇 朱俊杰 Hou Yong;Zhu Junjie

机构地区：[1]蚌埠学院计算机与信息工程学院,安徽蚌埠233030

出　　处：《池州学院学报》2023年第6期5-10,共6页Journal of Chizhou University

基　　金：安徽省高校优秀人才培养项目(gxyq2018107);安徽省教育厅重点项目(KJ2020A0744);蚌埠学院高层次人才启动项目(BBXY2018KYQD07)。

摘　　要：设计并实现了数学公式信息检索系统MFIRS,该系统的体系结构主要包括输入规范化、统一化数学公式、编码数学公式、抽取文本信息、抽取数学公式依存图、索引数学公式、检索与排名等模块。提出了一种基于表示型MathML的数学公式相似性索引方法。使用了大约7.9×10^(5)个arXiv文档和大约1.5×10^(8)个数学公式创建了Mathreteval数据集,并在此数据集上,对系统的可扩展性进行了验证。该系统前端采用web界面,允许用户在检索时,用纯文本和数学公式组成的复杂查询,数学公式可采用TEX语言或MathML编写。用TEX语言查询时,能够即时将其转换为表示型MathML树,再进行索引。此MFIRS是一种具有数学感知特点的数学公式信息检索系统,能够使用子公式相似性检索,并实现了对邻近数学公式的索引。

关 键 词：数学公式 索引 检索 数学内容表示 文档排序 检索系统 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]