Medeiros, Luiz Adauto, Instituto de Matemática, Brasil