D Grigoriev | TU Delft Repository

DG

D Grigoriev

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)