tangent

Tangente

Autor: David Stalnaker: [email protected]

Descripción general:

Tangent es un motor de búsqueda matemático creado por David Stalknaker como parte de su Maestría en Informática en el RIT.

Tangent permite la indexación y recuperación de expresiones matemáticas utilizando pares de símbolos en árboles de diseño.

Los detalles sobre la implementación se pueden encontrar en su tesis:

D. Stalnaker (2013) Recuperación de expresiones matemáticas mediante pares de símbolos en árboles de diseño. Tesis de maestría, Instituto de Tecnología de Rochester (Ciencias de la Computación), Nueva York, EE. UU. (agosto de 2013)

Dependencias

A continuación se muestran los componentes externos utilizados por Tangent.

• Latexml: una biblioteca para convertir una expresión de texto a MathMl
• MathJax: una biblioteca de JavaScript utilizada para mostrar expresiones matemáticas en la página de resultados
• Redis: un almacén de Memory KeyValue que se utiliza como índice
• pitón 2.7

Módulos de Python:

• Redis: Módulo para conectarse desde Python a un almacén de datos de Redis
• werkzeug:Biblioteca de utilidades WSGI
• matraz: Microframework para Python

Los módulos de Python anteriores se pueden instalar usando el comando:

 pip install werkzeug redis flask

Corriendo tangente

Para indexar una colección:

 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

Para recuperar fórmulas:

 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

Para ejecutar el servidor 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

---

• Visite la página de DPRL para obtener más información sobre el laboratorio y los proyectos.

• Este material se basa en un trabajo apoyado por la Fundación Nacional de Ciencias bajo la subvención n.º IIS-1016815. Cualquier opinión, hallazgo, conclusión o recomendación expresada en este material es la del autor (es) y no refleja necesariamente los puntos de vista de la National Science Foundation.