Manfredo do Carmo — Brazilian mathematician | namepick