O Instituto de Coimbra e as ciências matemáticas em Portugal - Martins, Décio (2012)