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 může učit jednou za dva roky.
Poslední úprava: prof. Mgr. Milan Hladík, Ph.D. (07.04.2016)
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.
Literatura -
Poslední úprava: T_KAM (04.05.2011)
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.