公开(公告)号：CN110795526A

公开(公告)日：2020-02-14

申请号：CN201911034594.7

申请日：2019-10-29

Applicant: 北京林业大学

Inventor： 蒋东辰 ,  付双 ,  许博 ,  刘俊杰 ,  欧琳琳

IPC: G06F16/31 ,  G06F16/332

Abstract: 本发明提出一种用于检索系统的数学公式索引创建方法与系统，其能够通过公式解析、公式树节点合并、公式树节点重排、叶子节点符号替换、公式树字符串索引创建等几个步骤，实现对Latex数学公式的快速索引创建，解决了由于公式书写习惯差异、基本运算规律使用而导致的索引创建不唯一问题，能够为数学公式的精确检索提供准确、有效的倒排索引。该发明在计算机检索系统中对于数学知识检索、自动推理等方面具有重要的应用价值，提高了检索系统的检索效率。

公开(公告)号：CN110795526B

公开(公告)日：2022-08-12

申请号：CN201911034594.7

申请日：2019-10-29

Applicant: 北京林业大学

Inventor： 蒋东辰 ,  付双 ,  许博 ,  刘俊杰 ,  欧琳琳

IPC: G06F16/31 ,  G06F16/332

Abstract: 本发明提出一种用于检索系统的数学公式索引创建方法与系统，其能够通过公式解析、公式树节点合并、公式树节点重排、叶子节点符号替换、公式树字符串索引创建等几个步骤，实现对Latex数学公式的快速索引创建，解决了由于公式书写习惯差异、基本运算规律使用而导致的索引创建不唯一问题，能够为数学公式的精确检索提供准确、有效的倒排索引。该发明在计算机检索系统中对于数学知识检索、自动推理等方面具有重要的应用价值，提高了检索系统的检索效率。