tangent

Tangente

Autor: David Stalnaker: [email protected]

Überblick:

Tangent ist eine mathematische Suchmaschine, die von David Stalknaker im Rahmen seines Masterstudiums in Informatik am RIT entwickelt wurde

Tangent ermöglicht die Indizierung und den Abruf mathematischer Ausdrücke mithilfe von Symbolpaaren in Layoutbäumen.

Details zur Umsetzung finden sich in seiner Dissertation:

D. Stalnaker (2013) Abrufen mathematischer Ausdrücke mithilfe von Symbolpaaren in Layoutbäumen. Masterarbeit, Rochester Institute of Technology (Computer Science), NY, USA (August 2013)

Abhängigkeiten

Nachfolgend sind die von Tangent verwendeten externen Komponenten aufgeführt

• Latexml: eine Bibliothek zum Umwandeln eines Textausdrucks in MathMl
• MathJax: eine Javascript-Bibliothek, die zur Anzeige der mathematischen Ausdrücke auf der Ergebnisseite verwendet wird
• Redis: Ein Memory KeyValue-Speicher, der als Index verwendet wird
• Python 2.7

Python-Module:

• Redis: Modul zum Herstellen einer Verbindung von Python zu einem Redis-Datenspeicher
• werkzeug:WSGI-Dienstprogrammbibliothek
• flask: Mikroframework für Python

Die oben genannten Python-Module können mit dem folgenden Befehl installiert werden:

 pip install werkzeug redis flask

Laufende Tangente

So indizieren Sie eine Sammlung:

 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

So rufen Sie Formeln ab:

 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

So führen Sie den Webserver aus:

 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

---

• Weitere Informationen zum Labor und zu den Projekten finden Sie auf der DPRL-Seite.

• Dieses Material basiert auf Arbeiten, die von der National Science Foundation unter der Fördernummer IIS-1016815 unterstützt werden. Alle in diesem Material geäußerten Meinungen, Erkenntnisse und Schlussfolgerungen oder Empfehlungen stammen von den Autoren und spiegeln nicht unbedingt die Ansichten der National Science Foundation wider.