Alena Pravdová, Matematický ústav Akademie věd ČR