Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
DG
D Grigoriev
View Pure Profile
Authored
2 records found
Complexity of semi-algebraic proofs
Conference paper -
D Grigoriev
,
EA Hirsch
,
DV Pasechnik
Exponential lower bound for static semi-algebraic proofs
Conference paper -
D Grigoriev
,
EA Hirsch
,
DV Pasechnik