相对数值运算而言,符号运算是一种推理过程,有助于解决具体问题,利于揭示事物内涵规律,因此符号运算更是对数学的高度概括和抽象,而当前对积分符号运算并没有规律可循,对某些函数的积分运算求解难度大,会耗费大量人力,所遇到的难题主要来自于对复杂函数积分和在某些学科领域所产生的特殊函数积分。因此为了使得自然科学、工程技术和社会科学工作者能够迅速查询到符合自己要求的积分公式,本文设计并实现了一个基于数学公式检索的电子词典。公式电子词典主要针对的是积分公式,这是由于求积分过程的复杂性而决定的,通过对当前公式编码方法的比较,电子词典的设计方法是采用了LaTeX格式的积分公式作为词典的键值,而采用MathML格式的积分公式作为检索之后的输出值。在对公式词典的检索过程中,为了保证检索的查全率和查准率,本文采用了通过对LaTeX格式的公式进行结构分析的方法来对用户的输入进行预处理,并在预处理过程中给出四种预处理规则;在检索的过程中,分为直接匹配和部分匹配两种模式,其中部分匹配采用是已有的比较成熟的BM算法。最后,通过一个简单实例对公式词典进行测试,从测试输出结果可以得知,按照本文给出的规则进行预处理匹配基本可以保证结果的正确性和完整性。