tangent
1.0.0
ผู้เขียน: David Stalnaker: [email protected]
Tangent เป็นเครื่องมือค้นหาทางคณิตศาสตร์ที่สร้างขึ้นโดย David Stalknaker ซึ่งเป็นส่วนหนึ่งของปริญญาโทสาขาวิทยาการคอมพิวเตอร์ที่ RIT
Tangent อนุญาตให้จัดทำดัชนีและการดึงนิพจน์ทางคณิตศาสตร์โดยใช้คู่สัญลักษณ์ในแผนผังเค้าโครง
รายละเอียดเกี่ยวกับการนำไปปฏิบัติสามารถพบได้ในวิทยานิพนธ์ของเขา:
D. Stalnaker (2013) การดึงนิพจน์ทางคณิตศาสตร์โดยใช้คู่สัญลักษณ์ในแผนผังเค้าโครง วิทยานิพนธ์ปริญญาโท Rochester Institute of Technology (Computer Science), NY, USA (สิงหาคม 2556)
ด้านล่างนี้เป็นส่วนประกอบภายนอกที่ Tangent ใช้
โมดูลหลาม:
โมดูลหลามข้างต้นสามารถติดตั้งได้โดยใช้คำสั่ง:
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 เพื่อดูข้อมูลเพิ่มเติมเกี่ยวกับห้องปฏิบัติการและโครงการต่างๆ
เนื้อหานี้อ้างอิงจากงานที่ได้รับการสนับสนุนจากมูลนิธิวิทยาศาสตร์แห่งชาติภายใต้ Grant No. IIS-1016815 ความคิดเห็น ข้อค้นพบ ข้อสรุป หรือข้อเสนอแนะใดๆ ที่แสดงในเอกสารนี้เป็นของผู้เขียน และไม่จำเป็นต้องสะท้อนถึงมุมมองของมูลนิธิวิทยาศาสตร์แห่งชาติ
