Automatické uvažování pro numerickou analýzu
Při dokazování v oblasti numerické analýzy je obvykle potřeba intuice i
technické dovednosti (např. maticový výpočet). Cílem práce je alespoň částečně
osvobodit matematiky pracující v oblasti numerické analýzy od technických
aspektů dokazování a tím pádem jim nechat čas soustředit se na kreativní část
práce. Na začátku budeme analyzovat důležité články v oboru a identifikovat
relevantní techniky z oblasti automatického uvažování. Výsledkem bude nástroj,
který pomůže matematikům v každodenní práci a dokazování.