Login / Signup
Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?
Yaroslav Alekseev
Dima Grigoriev
Edward A. Hirsch
Iddo Tzameret
Published in:
STOC (2020)
Keyphrases
</>
lower bound
database
data mining
video sequences
data streams
object recognition