Survey of Math Search InterfacesKeita (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/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.

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.

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.