Last update: 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.
Last update: T_KAM (26.04.2017)
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.
Course completion requirements -
Last update: prof. Mgr. Milan Hladík, Ph.D. (07.10.2019)
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: prof. Mgr. Milan Hladík, Ph.D. (06.10.2017)
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
Literature -
Last update: 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.