Basket

0431139 - ÚI 2015 PL eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : robust satisfiability * nonlinear system * undecidability * topological extension problem
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0235753