The GF Mathematics Library
Mathematical Software
2012-02-23 v1 Computation and Language
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.
Keywords
Cite
@article{arxiv.1202.4837,
title = {The GF Mathematics Library},
author = {Jordi Saludes and Sebastian Xambó},
journal= {arXiv preprint arXiv:1202.4837},
year = {2012}
}
Comments
In Proceedings THedu'11, arXiv:1202.4535