Traducción Alemán-Inglés para "automath"

Nuestro equipo ha sido informado de que falta la traducción de "automath" y está comprobando la inclusión de la palabra buscada en nuestros diccionarios en línea.