王霞文 刘浩

【摘 要】数理公式作为知识体系中的重要组成部分，在基于Web的网络教学、信息发布、学术交流等方面起着非常重要的作用。然而在目前的Web环境下，数理公式的检索问题一直困扰着用户。本文设计了一个公式检索系统，可以实现数学公式的在线输入及准确的检索。系统使用JSP技术开发前天界面，Oracle作为后台数据库，MathML数学标记语言作为数学公式的描述语言，通过设计在线公式编辑模块，用户可以所见即所得的编辑数学公式，而公式在系统中存储为MathML代码形式，因此可以通过代码的匹配实现数学公式的检索。

【关键词】公式检索；在线公式编辑；MathML

0 引言

科技飞速发展的今天，数学公式的应用越来越广泛。然而WEB技术对数学符号、公式和特殊符号的支持还十分有限。目前微软的IE浏览器仍无法直接支持数学公式的显示。

目前，Web上处理数学公式问题的方法主要有以下四种：

（1）图片法。Web发布者先通過MathType等客户端公式编辑器来编辑公式并将其转换为图片（JPG或JIF格式），然后嵌入到HTML网页中，最后公式以图片的形式在客户端的浏览器中显示。这种方式只能实现实现公式的显示，无法对其查询。

（2）使用专用的数学公式的浏览器插件。有些公司为了配合本公司自己的教学软件或教学网站，设计了专用的插件。访问者要观看数理公式，必须先要下载这些专用的浏览器插件。这种方式的主要缺点有公式复用性差；软件独立性差。

（3）使用LaTex。LaTex是一套基于习惯性书写思维的数学公式表示方法。……