Interval computations provide rigorous bounds for numerical output. For this reasons, it is used in validated
computing with floating-point arithmetic, e.g. in computer-aided proofs of famous math conjectures (The Kepler
Conjecture, The double bubble problem etc.). It gives verified solutions in solving (non)linear systems of equations
and in global optimization.
Remark: The course can be tought once in two years.
Last update: Hladík Milan, prof. Mgr., Ph.D. (07.04.2016)
Intervalové počítání umožňuje rigorózní výsledky při numerickém počitání. Z tohoto důvodu se používá ve
"validated computing" když chceme věrohodné výpočty s aritmetikou s pohyblivou řádovou čárkou. Jedním z
příkladů tohoto použití jsou počítačem řízené důkazy matematických domněnek (např. Keplerova domněnka nebo
"double bubble" problém). Podobně i při řešení soustav nelineárních rovnic nebo v globální optimalizaci,
intervalová analýza opět dává garantované ohraničení jejich řešení.
Poznámka: Předmět se obvykle koná jednou za dva roky.
Last update: T_KAM (26.04.2017)
Course completion requirements -
To obtain credits for tutorials, students need to carry out a certain number of homeworks.
More details can be found at web pages:
http://kam.mff.cuni.cz/~hladik/IA
Last update: Hladík Milan, prof. Mgr., Ph.D. (07.10.2019)
Pro zápočet je potřeba získat dostatečný počet bodů za vypracované domácí úkoly, které se zveřejňují průběžně během semestru.
Účast na cvičení není povinná.
Bližší informace k zápočtům jsou k dispozici na stránce:
http://kam.mff.cuni.cz/~hladik/IA
Last update: Hladík Milan, prof. Mgr., Ph.D. (06.10.2017)
Literature -
E. Hansen, G.W. Walster: Global optimization using interval analysis, Marcel Dekker, 2004.
M. Fiedler et al.: Linear optimization problems with inexact data, Springer, 2006.
L. Jaulin et al.: Applied interval analysis, Springer, 2001.
