Sign in

Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?

Yaroslav AlekseevDima GrigorievEdward A. HirschIddo Tzameret
Published in: STOC (2020)
Keyphrases
  • lower bound
  • database
  • data mining
  • video sequences
  • data streams
  • object recognition