The GF Mathematics Library
This work addresses the problem of processing mathematical text across languages for researchers and developers, but it appears incremental as it builds on existing grammar library concepts.
The paper introduces the Mathematics Grammar Library, a system for multilingual mathematical text processing, and presents two prototype services with potential applications in artificial mathematics assistants.
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.