Some trade-off results for polynomial calculus: extended abstract.

Chris Beck Jakob Nordström Bangsheng Tang

Published in: STOC (2013)

Keyphrases

extended abstract
trade off
low order
bias variance
databases
higher order
real numbers
automated deduction
algebraic structure