The GF Mathematics Library

TitleThe GF Mathematics Library
Publication TypeConference Paper
Year of Publication2011
AuthorsSaludes, J, Xambó, S
EditorQuaresma, P, Back, R-J
Conference NameProceedings First Workshop on CTP Components for Educational Software (THedu'11)
VolumeElectronic Proceedings in Theoretical Computer Science
Date Published02/2012
PublisherElectronic Proceedings in Theoretical Computer Science
Place PublishedWrocław, Poland
KeywordsMOLTO dissemination, WP6

This paper is devoted to present the Mathematics Grammar Library, a system for multilingual mathematical text processing. We explain the context in which it originated, its current design and functionality and the current development goals. We also present two prototype services and comment on possible future applications in the area of artificial mathematics assistants.

Refereed DesignationRefereed