EA Hirsch | TU Delft Repository

EH

EA Hirsch

Conference paper (2)

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)