P Sojka, M Líška - … : 18th Symposium, Calculemus 2011, and 10th …, 2011 - books.google.com
This paper surveys approaches and systems for searching mathematical formulae in
mathematical corpora and on the web. The design and architecture of our MIaS (Math …