9.º Encontro Luso-Brasileiro de História da Matemática