tangent

접선

작성자: David Stalnaker: [email protected]

개요:

Tangent는 David Stalknaker가 RIT에서 컴퓨터 공학 석사 학위 과정 중 만든 수학 검색 엔진입니다.

Tangent를 사용하면 레이아웃 트리의 기호 쌍을 사용하여 수학 표현식을 인덱싱하고 검색할 수 있습니다.

구현에 대한 자세한 내용은 그의 논문에서 확인할 수 있습니다.

D. Stalnaker (2013) 레이아웃 트리에서 기호 쌍을 사용한 수학 표현식 검색. 석사 논문, Rochester Institute of Technology (Computer Science), NY, USA (2013년 8월)

종속성

다음은 Tangent에서 사용하는 외부 구성 요소입니다.

• Latexml: 텍스트 표현식을 MathMl로 변환하는 라이브러리
• MathJax: 결과 페이지에 수학 표현식을 표시하는 데 사용되는 자바스크립트 라이브러리
• Redis: 인덱스로 사용되는 Memory KeyValue 저장소
• 파이썬 2.7

파이썬 모듈:

• Redis: Python에서 Redis 데이터 저장소로 연결하는 모듈
• 작업: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에 따라 국립과학재단(National Science Foundation)이 지원하는 작업을 기반으로 합니다. 이 자료에 표현된 모든 의견, 조사 결과, 결론 또는 권장 사항은 저자의 것이며 국립 과학 재단의 견해를 반드시 반영하는 것은 아닙니다.