DEPARTAMENTO DE MATEMÁTICA DO IST