[发明专利]定理检索方法、装置、设备及存储介质

权利要求书

1.一种定理检索方法，包括：

获取用户当前输入的定理类型检索信息；

根据所述定理类型检索信息，获取所述定理类型检索信息对应的定理类型集合；

向所述用户展示所述定理类型集合，以使所述用户确定所需的定理类型。

2.根据权利要求1所述的方法，获取用户当前输入的定理类型检索信息，包括：

在输入操作完成之前，获取所述用户当前输入的定理类型检索信息。

3.根据权利要求1所述的方法，在获取用户当前输入的定理类型检索信息之前，所述方法还包括：

判断用户的输入操作满足预设条件。

4.根据权利要求3所述的方法，所述预设的条件包括：所述用户当前停止输入的时间间隔超过预设的时间阈值；或

所述预设的条件包括：所述用户当前输入的定理类型检索信息超过预设的长度阈值。

5.根据权利要求1所述的方法，根据所述定理类型检索信息，获取所述定理类型检索信息对应的定理类型集合，包括：

判断所述定理类型检索信息是否合法；

若是，则根据所述定理类型检索信息，从后端服务器内获取所述定理类型检索信息对应的定理类型集合。

6.根据权利要求5所述的方法，所述方法还包括：

若否，则根据所述定理类型检索信息，从本地缓存内获取所述定理类型检索信息对应的定理类型集合。

7.根据权利要求5所述的方法，判断所述定理类型检索信息是否合法，包括：

通过抽象语法树算法，将所述定理类型检索信息转化成树结构化的定理类型检索信息；

根据所述树结构化的定理类型检索信息和预设的语法结构，判断所述定理类型检索信息是否合法。

8.根据权利要求5所述的方法，根据所述定理类型检索信息，从后端服务器内获取所述定理类型检索信息对应的定理类型集合，包括：

将所述定理类型检索信息发送给后端服务器，使所述后端服务器对所述定理类型检索信息进行分词处理，根据分词后的定理类型检索信息，确定定理类型检索关键词，根据所述定理类型检索关键词，确定所述定理类型检索信息对应的定理类型集合；

获取所述后端服务器发送的所述定理类型检索信息对应的定理类型集合。

9.根据权利要求1所述的方法，在向所述用户展示所述定理类型集合之前，所述方法还包括：

从所获取的定理类型集合内选取指定数量的定理类型；

根据所选取的定理类型，重新组建定理类型集合。

10.一种定理检索装置，包括：

第一获取模块，用于获取用户当前输入的定理类型检索信息；

第二获取模块，用于根据所述定理类型检索信息，获取所述定理类型检索信息对应的定理类型集合；

展示模块，用于向所述用户展示所述定理类型集合，以使所述用户确定所需的定理类型。

11.根据权利要求10所述的装置，所述第一获取模块具体用于，在输入操作完成之前，获取所述用户当前输入的定理类型检索信息。

12.根据权利要求10所述的装置，所述装置还包括：

监测模块，用于在所述第一获取模块获取用户当前输入的定理类型检索信息之前，判断用户的输入操作满足预设条件。

13.根据权利要求12所述的装置，所述预设的条件包括：所述用户当前停止输入的时间间隔超过预设的时间阈值；或所述预设的条件包括：所述用户当前输入的定理类型检索信息超过预设的长度阈值。

14.根据权利要求10所述的装置，所述第二获取模块具体用于，判断所述定理类型检索信息是否合法；若是，则根据所述定理类型检索信息，从后端服务器内获取所述定理类型检索信息对应的定理类型集合。