Toward Multilingual Mechanized Mathematics Assistants (pdf).

In Proceedings EACA-2012 (edited by J. Rafael Sendra and Carlos Villarino):
Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones, Universidad de Alcalá, 2012, pp. 163-166.

Abstract. 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.