0459689 - ÚI 2017 RIV CH eng A - Abstract
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]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : decidability * numerical computation
Subject RIV: IN - Informatics, Computer Science
http://macis2015.zib.de/invited.html
Permanent Link: http://hdl.handle.net/11104/0259862
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]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : decidability * numerical computation
Subject RIV: IN - Informatics, Computer Science
http://macis2015.zib.de/invited.html
Permanent Link: http://hdl.handle.net/11104/0259862