Mathwebsearch 0.5 an open formula search engine - Prodescu, Corneliu Claudiu; Kohlhase, Michael (Symposium on Learning, Knowledge, and Adaptivity 2011, LWA 2011, 2011)