tangent

Касательная

Автор: Дэвид Сталнакер: [email protected]

Обзор:

Tangent — это поисковая система по математике, созданная Дэвидом Сталкнакером в рамках его степени магистра компьютерных наук в RIT.

Tangent позволяет индексировать и извлекать математические выражения с использованием пар символов в деревьях макета.

Подробности о реализации можно найти в его диссертации:

Д. Сталнакер (2013) Поиск математических выражений с использованием пар символов в деревьях макета. Магистерская диссертация, Рочестерский технологический институт (компьютерные науки), Нью-Йорк, США (август 2013 г.)

Зависимости

Ниже приведены внешние компоненты, используемые Tangent.

• Latexml: библиотека для преобразования текстового выражения в MathMl.
• MathJax: библиотека JavaScript, используемая для отображения математических выражений на странице результатов.
• Redis: хранилище KeyValue в памяти, которое используется в качестве индекса.
• питон 2.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

Чтобы запустить веб-сервер:

 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. Любые мнения, выводы и выводы или рекомендации, выраженные в этом материале, принадлежат автору(ам) и не обязательно отражают точку зрения Национального научного фонда.