Basket

0447629 - MÚ 2016 RIV US eng J - Journal Article
Filmus, Y. - Lauria, M. - Nordström, J. - Ron-Zewi, N. - Thapen, Neil
Space complexity in polynomial calculus.
Siam Journal on Computing. Roč. 44, č. 4 (2015), s. 1119-1153. ISSN 0097-5397. E-ISSN 1095-7111
R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : proof complexity * polynomial calculus * lower bounds
Subject RIV: BA - General Mathematics
Impact factor: 0.841, year: 2015
http://epubs.siam.org/doi/10.1137/120895950
Permanent Link: http://hdl.handle.net/11104/0249428