Košík

    1.
    0427751 - ÚI 2015 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Franek, Peter - Krčál, M.
    Robust Satisfiability of Systems of Equations.
    Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia: SIAM, 2014 - (Chekuri, C.), s. 193-203. ISBN 978-1-61197-338-9.
    [SODA 2014. Annual ACM-SIAM Symposium on Discrete Algorithms /25./. Portland (US), 05.01.2014-07.01.2014]
    Grant CEP: GA ČR GBP202/12/G061
    Grant ostatní: GA MŠk(CZ) LL1201
    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/0233248
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0427751.pdf18509 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše