Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
DG
D Grigoriev
Academic Work (2)
Conference paper (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
2 records found
1
Exponential lower bound for static semi-algebraic proofs
Conference paper (2002) -
D Grigoriev (author)
,
EA Hirsch (author)
,
DV Pasechnik (author)
Complexity of semi-algebraic proofs
Conference paper (2002) -
D Grigoriev (author)
,
EA Hirsch (author)
,
DV Pasechnik (author)
