Sexton, Alan; Sorge, Volker; Suzuki, Masakazu: Designing a Semantic Ground Truth for Mathematical Formulae.
(English).
In:
Sojka, Petr (ed.): Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010.
Masaryk University Press, Brno, Czech Republic, 2010.
pp. 37-42
