The GF Mathematics Library
Jordi Saludes (UPC), Sebastian Xamb\'o (UPC)
TL;DR
The paper introduces the Mathematics Grammar Library, a multilingual system designed for processing mathematical texts, detailing its design, current features, prototypes, and future potential in artificial mathematics assistance.
Contribution
It presents the design and development of a novel multilingual mathematical text processing library with prototype services and future application prospects.
Findings
Prototype services demonstrate practical utility.
System supports multiple languages for mathematical text.
Potential for integration into artificial mathematics assistants.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNatural Language Processing Techniques · Mathematics, Computing, and Information Processing · Topic Modeling