MathSeer: A Math-Aware Search Interface with Intuitive Formula Editing, Reuse, and Lookup. - Gavin Nishizawa; Jennifer Liu; Yancarlos Diaz; Abishai Dmello; Wei Zhong; Richard Zanibbi (ECIR (2), 2020)