http://www.madrimasd.org/informacionidi/noticias/noticia.asp?id=31456&tipo=g
Matemáticos de todo el mundo promueven un archivo digital de los teoremas