Řešení omezujících podmínek
školitel: | Stefan Ratschan |
e-mail: | zobrazit e-mail |
typ práce: | bakalářská práce, diplomová práce |
zaměření: | MI_MM, MI_AMSM, II_SIMI |
klíčová slova: | algoritmy pro matematické výpočty, verifikace, intervalová aritmetika |
odkaz: | http://www.cs.cas.cz/~ratschan/theses/cz/constraint_solving.html |
naposledy změněno: | 20.11.2017 21:45:31 |
za obsah této stránky zodpovídá:
Pavel Strachota | naposledy změněno: 9.9.2021