Akademie věd České republiky, Matematický ústav