GF数学图书馆
The GF Mathematics Library
Universitat Politècnica de Catalunya（加泰罗尼亚理工大学）；Sistemes Avançats de Control（高级控制系统研究所）
摘要：
本文介绍了一个多语种数学文本处理系统--数学语法库。我们解释了它起源的背景，它当前的设计和功能以及当前的开发目标。我们还提出了两个原型服务，并评论在人工数学助理领域的未来可能的应用。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
