随着Internet的快速发展,越来越多的人通过Web发布、获取和管理知识。数理公式作为知识体系中的重要组成部分,在基于Web的网络教学、信息发布、学术交流等方面起着非常重要的作用,在线检索数理公式已成为一种十分迫切的要求。然而在目前的Web环境下,由于数理公式自身的复杂性以及Web中HTML对各种数理符号特殊标记的支持非常有限,数理公式的检索问题一直困扰着用户。本文设计并实现的数学公式检索系统解决了上述问题。系统使用JSP技术开发前台界面,Oracle作为后台数据库,MathML数学标记语言作为数学公式的描述语言,通过设计在线公式编辑模块,用户可以所见即所得的编辑数学公式,而公式在系统中存储为MathML代码形式,因此可以通过代码的匹配实现数学公式的检索。为了避免因查询公式的字母不同而影响查询效果,系统对输入的公式字母代码进行了预处理,保证了查询的性能。本文首先分析了当前网络搜索引擎的现状,对本文研究的目的和意义进行了阐述。进而介绍了实现系统需使用到的相关技术,包括JSP技术、Oracle数据库、MathML语言及公式编辑器webeq等方面。接着,设计了一个公式检索系统,先给出了总体设计结构,在此基础上,针对每个模块给出了具体设计的结构,并对数据库的设计进行了详细的描述。根据设计的结构及工作流程,给出了系统各部分的具体实现方法及程序流程。测试结果表明,系统运行良好,可以实现数学公式的在线输入,同时可以实现准确的检索,达到了设计的目的。