Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrii V. Exponential lower bound for static semi-algebraic proofs. (English) Zbl 1056.03037 Widmayer, Peter (ed.) et al., Automata, languages and programming. 29th international colloquium, ICALP 2002, Málaga, Spain, July 8–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43864-5). Lect. Notes Comput. Sci. 2380, 257-268 (2002). MSC: 03F20 68Q17 PDFBibTeX XMLCite \textit{D. Grigoriev} et al., Lect. Notes Comput. Sci. 2380, 257--268 (2002; Zbl 1056.03037) Full Text: Link
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrii V. Complexity of semi-algebraic proofs. (English) Zbl 1054.03035 Alt, Helmut (ed.) et al., STACS 2002. 19th annual symposium on theoretical aspects of computer science. Antibes - Juan les Pins, France, March 14–16, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43283-3). Lect. Notes Comput. Sci. 2285, 419-430 (2002). MSC: 03F20 03B35 PDFBibTeX XMLCite \textit{D. Grigoriev} et al., Lect. Notes Comput. Sci. 2285, 419--430 (2002; Zbl 1054.03035) Full Text: Link
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrij V. Complexity of semialgebraic proofs. (English) Zbl 1027.03044 Mosc. Math. J. 2, No. 4, 647-679 (2002). MSC: 03F20 68Q17 PDFBibTeX XMLCite \textit{D. Grigoriev} et al., Mosc. Math. J. 2, No. 4, 647--679 (2002; Zbl 1027.03044)