Contextual Analysis of Mathematical Expressions for Advanced Mathematical Search. - Keisuke Yokoi; Minh-Quoc Nghiem; Yuichiroh Matsubayashi; Akiko Aizawa (Polibits, 2011)