tangent

正接

著者: David Stalnaker: [email protected]

概要：

Tangent は、RIT のコンピューター サイエンスの修士号の一環として David Stalknaker によって作成された数学検索エンジンです。

Tangent を使用すると、レイアウト ツリーのシンボル ペアを使用して数式のインデックス作成と取得を行うことができます。

実装に関する詳細は、彼の論文に記載されています。

D. Stalnaker (2013) レイアウト ツリーのシンボル ペアを使用した数学式の検索。修士論文、ロチェスター工科大学 (コンピュータ サイエンス)、ニューヨーク州、米国 (2013 年 8 月)

依存関係

Tangent で使用される外部コンポーネントは次のとおりです。

• Latexml: Text 式を MathMl に変換するライブラリ
• MathJax: 結果ページに数式を表示するために使用される JavaScript ライブラリ
• Redis: インデックスとして使用されるメモリ KeyValue ストア
• Python2.7

Python モジュール:

• Redis: Python から Redis データストアに接続するモジュール
• werkzeug:WSGI ユーティリティ ライブラリ
• フラスコ: 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

Webサーバーを実行するには:

 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 に基づいて米国科学財団によって支援された研究に基づいています。この資料に記載されている意見、調査結果、結論または推奨事項は著者のものであり、必ずしも米国科学財団の見解を反映しているわけではありません。