Improved rank bounds for design matrices and a new proof of Kelly's theorem

Zeev Dvir Shubhangi Saraf Avi Wigderson

Published in: CoRR (2012)

Keyphrases

upper bound
computer aided
building blocks
improved algorithm
case study
design tools
linear logic
real time
data sets
machine learning
information retrieval
knowledge based systems
design process
interactive theorem proving