## Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik

*Exponential Lower Bound for Static Semi-algebraic Proofs*

ICALP, 2002.

@inproceedings{ICALP-2002-GrigorievHP, author = "Dima Grigoriev and Edward A. Hirsch and Dmitrii V. Pasechnik", booktitle = "{Proceedings of the 29th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-45465-9_23", isbn = "3-540-43864-5", pages = "257--268", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Exponential Lower Bound for Static Semi-algebraic Proofs}", volume = 2380, year = 2002, }