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

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

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