Enviar Registro por Correo electrónico: Automated reasoning and mathematics :