Počet záznamů: 1
Robust satisfiability of systems of equations
- 1.0431139 - ÚI 2015 PL eng A - Abstrakt
Franek, Peter - Krčál, M.
Robust satisfiability of systems of equations.
Applied Topology. Book of Abstracts. Poznan: Adam Mickiewicz University, 2013. s. 7-7.
[Applied Topology. 21.07.2013-27.07.2013, Bedlewo]
Institucionální podpora: RVO:67985807
Klíčová slova: robust satisfiability * nonlinear system * undecidability * topological extension problem
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0235753
Počet záznamů: 1