EA Hirsch | TU Delft Repository

Library

local_library Home Repository

EH

EA Hirsch

Conference paper (2)

2 records found

1

Complexity of semi-algebraic proofs

Conference paper (2002) - D Grigoriev (author) , EA Hirsch (author) , DV Pasechnik (author)

Exponential lower bound for static semi-algebraic proofs

Conference paper (2002) - D Grigoriev (author) , EA Hirsch (author) , DV Pasechnik (author)