tangent

Tangente

Auteur : David Stalnaker : [email protected]

Aperçu:

Tangent est un moteur de recherche mathématique créé par David Stalknaker dans le cadre de son master en informatique au RIT.

Tangent permet l'indexation et la récupération d'expressions mathématiques à l'aide de paires de symboles dans les arbres de mise en page.

Des détails sur la mise en œuvre peuvent être trouvés dans sa thèse :

D. Stalnaker (2013) Récupération d'expressions mathématiques à l'aide de paires de symboles dans des arbres de mise en page. Thèse de maîtrise, Rochester Institute of Technology (Informatique), NY, États-Unis (août 2013)

Dépendances

Vous trouverez ci-dessous les composants externes utilisés par Tangent

• Latexml : une bibliothèque pour convertir une expression texte en MathMl
• MathJax : une bibliothèque javascript utilisée pour afficher les expressions mathématiques dans la page de résultats
• Redis : un magasin Memory KeyValue utilisé comme index
• python 2.7

Modules Python :

• Redis : Module pour se connecter de Python à une banque de données Redis
• travail:Bibliothèque d'utilitaires WSGI
• flacon : Microframework pour Python

Les modules python ci-dessus peuvent être installés à l'aide de la commande :

 pip install werkzeug redis flask

Exécution de la tangente

Pour indexer une collection :

 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

Pour récupérer des formules :

 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

Pour exécuter le serveur 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

---

• Visitez la page DPRL pour plus d’informations sur le laboratoire et les projets.

• Ce matériel est basé sur des travaux soutenus par la National Science Foundation sous la subvention n° IIS-1016815. Toutes les opinions, constatations, conclusions ou recommandations exprimées dans ce document sont celles du ou des auteurs et ne reflètent pas nécessairement les points de vue de la National Science Foundation.