Author Search Results

1

Exponential lower bound for static semi-algebraic proofs

Exponential lower bound for static semi-algebraic proofs

by Grigoriev, Dima., Hirsch, Edward A., Pasechnik, Dmitrii V.
Published 2014

Get full text
Get full text

Article

2

Complexity of semi-algebraic proofs

Complexity of semi-algebraic proofs

by Grigoriev, Dima, Hirsch, Edward A., Pasechnik, Dmitrii V.
Published 2013

Get full text
Get full text

Article

3

Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings

Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, C...

Published 2017

Other Authors: “...Hirsch, Edward A....”
Get full text

Book