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 func-tionality and the current development goals. We also present two prototype services and comment on possible future applications in the area of artificial… (More)
The aim of this note is to present recent work in the area of Multilingual Mechanized Mathematics Assistants. We will describe some of the key features expected from such systems, sketch some of the strategies envisioned for their realization and report on the current state of the Mathematical Grammar Library.