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。本資料中所表達的任何觀點、發現和結論或建議均為作者的觀點，不一定反映美國國家科學基金會的觀點。