Exponential lower bound for static semi-algebraic proofs
- Dima Grigoriev
- , Edward A. Hirsch
- , Dmitrii V. Pasechnik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
11
Scopus
citations