tangent

切线

作者：大卫·斯塔纳克：[email protected]

概述：

Tangent 是 David Stalknaker 创建的数学搜索引擎，作为他在 RIT 计算机科学硕士学位的一部分

Tangent 允许使用布局树中的符号对来索引和检索数学表达式。

有关实现的详细信息可以在他的论文中找到：

D. Stalnaker (2013) 使用布局树中的符号对进行数学表达式检索。硕士学位论文，罗彻斯特理工学院（计算机科学），美国纽约（2013 年 8 月）

依赖关系

以下是Tangent使用的外部组件

• Latexml：将文本表达式转换为 MathMl 的库
• MathJax：一个 JavaScript 库，用于在结果页面中显示数学表达式
• Redis：用作索引的内存键值存储
• 蟒蛇2.7

Python 模块：

• Redis：从 python 连接到 redis 数据存储的模块
• werkzeug:WSGI实用程序库
• Flask：Python 的微框架

可以使用以下命令安装上述 python 模块：

 pip install werkzeug redis flask

运行切线

为集合建立索引：

 python indexer.py {index|flush} <directory> [<directory2> ..]
    index: index the formulas in the collection
    flush: empty the current index
    <directory>: directory or file containing tex and mathml documents containing formulas to index

要检索公式：

 python search.py config_object query [query2, ...]
    config_object: class name of Config object; ex: config.FMeasureConfig
    query: query expression in latex or mathml

    *config_object are defined in config.py and determine the host,port and score ranking

要运行网络服务器：

 python mathsearch.py config_object
    config_object: class name of Config object; ex: config.FMeasureConfig

The server will launch and be available on the port defined in the config object

---

• 请访问 DPRL 页面，了解有关实验室和项目的更多信息。

• 本材料基于美国国家科学基金会资助的工作，资助号为 IIS-1016815。本材料中表达的任何观点、发现和结论或建议均为作者的观点，并不一定反映国家科学基金会的观点。