Roles of Math Search in Mathematics-Reference-Cited by-同舟云学术

Roles of Math Search in Mathematics

Published:2006 Issue: Volume: Page:2-16
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Youssef Abdou

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11812289_2.pdf

Reference40 articles.

1. The ActiveMath Project, http://www.mathweb.org/activemath/

2. MathSciNe. American Mathematical Society (AMS), http://www.ams.org/mathscinet

3. Asperti, A., et al.: Mathematical Knowledge Management in HELM [Italy]. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)

4. Benzmüller, C., et al.: Ω: Towards a Mathematical Assistant. In: Conference on Automated Deduction (1997)

5. Buchberger, B.: Mathematical Knowledge Management Using Theorema. In: First International Workshop on Mathematical Knowledge Management, Schloss Hagenberg, Austria, September 24-26 (2001)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Utilizing dependency relationships between math expressions in math IR;Information Retrieval Journal;2017-03-14

2. Part-of-Math Tagging and Applications;Lecture Notes in Computer Science;2017

3. A Survey on Retrieval of Mathematical Knowledge;Mathematics in Computer Science;2016-07-18

4. Multi-Stage Math Formula Search;Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval;2016-07-07

5. An RDF Design Pattern for the Structural Representation and Querying of Expressions;Lecture Notes in Computer Science;2016