Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
Survey of Math Search Interfaces
Keita (Del Valle) Wangari
December 2013
ENCODED LANGUAGE-BASED
INTERFACES
Springer LaTeX
http://www.latexsearch.com
Math Indexer and Searcher (MIaS)
(Sojka & Liska, 2011)
EgoMath
(Misutka & Galambos, 2011)
NIST DLMF
(Miller & Youssef, 2003)
Wolfram Alpha
www.wolframalpha.com
WikiMirs
(Hu et al, 2013)
No image available
zbMATH
http://search.mathweb.org/zbl
Physikerwelt
http://wiki.physikerwelt.de/wiki/Spezial:MathSearch
TEMPLATE EDITOR-BASED
INTERFACES
SentidoSearch
http://search.mathweb.org/sentido
MathFind
(Munavalli & Miner, 2006)
Math Aware Search Engine
(Nguyen, Chang, & Hui, 2012)
Symbolab
http://symbolab.com/math/search
Symbolab browser extension
DRAWING-BASED
INTERFACES
min interface
(Sasarak et al, 2012)
References (slide 1 of 3)
• Hu, X., Gao, L., Lin, X. Tang, Z., Lin, X., & Baker, J. (2013).
Proceedings of the 13th ACM/IE...
References (slide 2 of 3)
• Miller, B.R. & Youssef, A.S. (2003). Technical aspects of the
digital library of mathematical ...
References (slide 3 of 3)
• Sasarak, C., Hart, K., Pospesel, R., Stalnaker, D, Hu, L.,
LiVolsi, R., Zhu, S., & Zanibbi, R....
Upcoming SlideShare
Loading in …5
×

A Survey of Current Math Search Interfaces

679 views

Published on

A survey of current math search interfaces by type: encoding language (LaTeX, MathML, etc.), template editor, and drawing.

Published in: Technology
  • Be the first to comment

A Survey of Current Math Search Interfaces

  1. 1. Survey of Math Search Interfaces Keita (Del Valle) Wangari December 2013
  2. 2. ENCODED LANGUAGE-BASED INTERFACES
  3. 3. Springer LaTeX http://www.latexsearch.com
  4. 4. Math Indexer and Searcher (MIaS) (Sojka & Liska, 2011)
  5. 5. EgoMath (Misutka & Galambos, 2011)
  6. 6. NIST DLMF (Miller & Youssef, 2003)
  7. 7. Wolfram Alpha www.wolframalpha.com
  8. 8. WikiMirs (Hu et al, 2013) No image available
  9. 9. zbMATH http://search.mathweb.org/zbl
  10. 10. Physikerwelt http://wiki.physikerwelt.de/wiki/Spezial:MathSearch
  11. 11. TEMPLATE EDITOR-BASED INTERFACES
  12. 12. SentidoSearch http://search.mathweb.org/sentido
  13. 13. MathFind (Munavalli & Miner, 2006)
  14. 14. Math Aware Search Engine (Nguyen, Chang, & Hui, 2012)
  15. 15. Symbolab http://symbolab.com/math/search
  16. 16. Symbolab browser extension
  17. 17. DRAWING-BASED INTERFACES
  18. 18. min interface (Sasarak et al, 2012)
  19. 19. References (slide 1 of 3) • Hu, X., Gao, L., Lin, X. Tang, Z., Lin, X., & Baker, J. (2013). Proceedings of the 13th ACM/IEEE-CS joint conference on Digital libraries, 11-20. • Kohlhase, M., & Sucan, I. (2006). A search engine for mathematical formulae. Proceedings of Artificial Intelligence and Symbolic Computation, 4120, 241-253. • Misutka, J., & Galambos, L. (2011). System Description: EgoMath2 as a Tool for Mathematical Searching on Wikipedia.org. Intelligent Computer Mathematics: Lecture Notes in Computer Science, Volume 6824, 307-309.
  20. 20. References (slide 2 of 3) • Miller, B.R. & Youssef, A.S. (2003). Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence, 38, 121-136. • Munavalli, R., & Miner, R. (2006). MathFind: a math-aware search engine. Proceedings of the 29th annual international ACM SIGIR conference on research and development in information retrieval, 735-735. • Nguyen, T., Chang, K., & Hui, S. C. (2012). A math-aware search engine for math question answering system. Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 724-733.
  21. 21. References (slide 3 of 3) • Sasarak, C., Hart, K., Pospesel, R., Stalnaker, D, Hu, L., LiVolsi, R., Zhu, S., & Zanibbi, R. (2012). min: A multimodal web Interface for math search. Symposium on Human-Computer Interaction and Information Retrieval, Cambridge, MA (online). • Sojka, P., & Liska, M. (2011). The art of mathematics retrieval. Proceedings of the 11th ACM symposium on document engineering, 57-60.

×