The GF Mathematics Library

Jordi Saludes,Sebastian Xambó
DOI: https://doi.org/10.4204/EPTCS.79.6
2012-02-22
Abstract: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.
Mathematical Software,Computation and Language
What problem does this paper attempt to address?