Complexity of semialgebraic proofs
Dima Grigoriev‚ Edward A. Hirsch and Dmitrii V. Pasechnik
ISSN
1609−3321
Journal
Mosc. Math. J.
MR Number
MR1986085 (2004e:03094)
Note
Dedicated to Yuri I. Manin on the occasion of his 65th birthday
Number
4
Pages
647–679‚ 805
Volume
2
Year
2002