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