Login / Signup
Towards an algebraic natural proofs barrier via polynomial identity testing.
Joshua A. Grochow
Mrinal Kumar
Michael E. Saks
Shubhangi Saraf
Published in:
Electron. Colloquium Comput. Complex. (2017)
Keyphrases
</>
real world
man made
test set
formal proofs
database
low degree
identity management
artificial systems
low order
software testing
computer programs
test cases
logic programs
probabilistic model
data model
expert systems
decision trees
genetic algorithm
databases