×

扩展数学内容的全文搜索引擎。 (英语) Zbl 1170.68488号

Sojka,Petr(编辑),DML 2008。走向数字数学图书馆,英国伯明翰,2008年7月27日。诉讼程序。布尔诺:马萨里克大学(ISBN 978-80-210-4658-0/pbk)。55-67 (2008).
WWW成为数学知识的主要来源。目前可用的全文搜索引擎可以用于这些文档,但它们在几乎所有情况下都是不足的。通过应用公理、等式变换和使用不同的符号,每个公式都可以用多种方式表示。这些文档大多不包含语义信息;因此,精确的数学解释是不可能的。另一方面,语义信息有助于提供更准确的信息。
在这项工作中,我们解决了这些问题,并提出了一种新技术,即如何在现实世界的数学文档中搜索数学公式,但仍能提供可扩展的数学意识。它利用了全文搜索引擎的优势,并将每个公式不仅存储一次,而且存储在多个通用表示中。因为它是作为扩展设计的,所以任何全文搜索引擎都可以采用它。
基于提出的理论,我们开发了EgoMath——新的数学搜索引擎。在两个包含语义信息的文档集上对EgoMath进行的实验表明,该技术可以用于构建一个完整的数学搜索引擎。
有关整个系列,请参见[Zbl 1158.00018号].

MSC公司:

68页99 数据理论

软件:

数学Web搜索
PDF格式BibTeX公司 XML格式引用