Predictive Input Interface of Mathematical Formulas. - Yoshinori Hijikata; Keisuke Horie; Shogo Nishida (INTERACT (1), 2013)