Чиме се бави центар?
У овом центру, тимови математичара посвећено се баве истраживањима у различитим областима примењене математике. Наши математичари раде на новим концептима у теоријској математици у функцији даљег напретка електротехнике и рачунарства, као и на истраживачким активностима у прављењу математичких софтвера и развоју разноврсних математичких метода које омогућавају боље разумевање великих количина података.
Методе које се развијају у нашем центру имају широке примене. У аутоматском доказивању неких класа аналитичких неједнакости могу значајно да побољшају компресију видеа високе резолуције, убрзају процес прецизног превођења језика, повећају вероватноћу тачног груписања медицинских слика приликом дијагностике, унапреде заштиту приватности података и могу да се примене у многим процесима оптимизације.
