MathWebSearch 0.5: Scaling an open formula search engine - Kohlhase, Michael; Matican, Bogdan; Prodescu, Corneliu Claudiu (Int. Conf. on Artificial Intelligence and Symbolic Computation, AISC 2012, Symp. on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, DML 2012, Conf. on Mathematical Knowledge Management, MKM 2012, Part of CICM 2012, 2012)