Skip to main content

Complexity of semi−algebraic proofs

Dima Grigoriev‚ Edward A. Hirsch and Dmitrii V. Pasechnik

Address
Berlin
Book Title
STACS 2002
MR Number
MR2050856 (2004m:03204)
Pages
419–430
Publisher
Springer
Series
Lecture Notes in Comput. Sci.
Volume
2285
Year
2002