Coimbra, Euclides