相对数值运算而言,符号运算是一种推理过程,有助于解决具体问题,利于揭示事物内涵规律,因此符号运算更是对数学的高度概括和抽象,......

数学信息检索(Mathematical Information Retrieval,MIR)以数学表达式为通用语言应用于科技信息领域,是信息检索技术的重要研究内......

针对现有数学表达式检索系统中待检索数学公式与目标文档之间语义关联不紧密的问题,以及用户必须了解待检索数学表达式的特定格式,......

数学表达式结构复杂多样，给检索带来困难。为此，提出一种数学表达式索引与检索方法。在索引阶段，通过对LaTeX数学表达式特点的分析与......

数学表达式检索是解决现存全文检索技术无法处理数学公式问题的关键技术之一,而线性代数表达式检索是构建数学表达式检索模型的重......

现有的数学表达式检索模型大多面向普通数学表达式，在利用其检索线性代数表达式时，由于缺乏对线性代数表达式特征的考虑，检索效果较差......