Autor: David Stalnaker: [email protected]
Tangent é um mecanismo de busca matemático criado por David Stalknaker como parte de seu mestrado em Ciência da Computação na RIT
Tangent permite a indexação e recuperação de expressões matemáticas usando pares de símbolos em árvores de layout.
Detalhes sobre a implementação podem ser encontrados em sua tese:
D. Stalnaker (2013) Recuperação de expressões matemáticas usando pares de símbolos em árvores de layout. Dissertação de mestrado, Rochester Institute of Technology (Computer Science), NY, EUA (agosto de 2013)
Abaixo estão os componentes externos usados pela Tangent
Módulos Python:
Os módulos python acima podem ser instalados usando o comando:
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
Visite a página do DPRL para mais informações sobre o laboratório e projetos.
Este material é baseado em trabalho apoiado pela National Science Foundation sob o número de concessão IIS-1016815. Quaisquer opiniões, descobertas e conclusões ou recomendações expressas neste material são de responsabilidade do(s) autor(es) e não refletem necessariamente as opiniões da National Science Foundation.