Výsledky vyhledávání
- 1.0473970 - ÚI 2018 SE eng A - Abstrakt
Franek, Peter - Kuřátko, Jan - Ratschan, Stefan
Safety Verification By Interval Based Quantified Constraint Solving,.
SCAN 2016. Book of Abstracts. Uppsala University, 2016. s. 107-108.
[SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./. 26.09.2016-29.09.2016, Uppsala]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: ordinary differential equations * safety verification * constraints * constraint solving
Trvalý link: http://hdl.handle.net/11104/0271070Název souboru Staženo Velikost Komentář Verze Přístup a0473970.pdf 0 2 MB Vydavatelský postprint povolen - 2.0459689 - ÚI 2017 RIV CH eng A - Abstrakt
Ratschan, Stefan
Decidability from a Numerical Point of View.
Mathematical Aspects of Computer and Information Sciences. Springer, 2016 - (Kotsireas, I.; Rump, S.; Yao, C.). XVI-XVI. ISBN 978-3-319-32858-4. ISSN 0302-9743.
[MACIS 2015. International Conference on Mathematical Aspects of Computer and Information Sciences /6./. 11.11.2015-13.11.2015, Berlin]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * numerical computation
Kód oboru RIV: IN - Informatika
http://macis2015.zib.de/invited.html
Trvalý link: http://hdl.handle.net/11104/0259862Název souboru Staženo Velikost Komentář Verze Přístup a0459689 Ratschan.pdf 6 47.6 KB Vydavatelský postprint povolen