Discovering real-world use cases for a multimodal math search interface. - Keita Del Valle Wangari; Richard Zanibbi; Anurag Agarwal (SIGIR, 2014)