Designing a Semantic Ground Truth for Mathematical Formulae

Alan Sexton, Volker Sorge, M Suzuki, P Sojka

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages37-42
Number of pages6
Publication statusPublished - 7 Jul 2010
EventTowards a Digital Mathematics Library, Proceedings of the 3rd Workshop (DML 2010) -
Duration: 7 Jul 2010 → …

Conference

ConferenceTowards a Digital Mathematics Library, Proceedings of the 3rd Workshop (DML 2010)
Period7/07/10 → …

Cite this