Login / Signup
On the Automatizability of Polynomial Calculus.
Nicola Galesi
Massimo Lauria
Published in:
Electron. Colloquium Comput. Complex. (2009)
Keyphrases
</>
low order
database
artificial intelligence
database systems
expert systems
relational databases
hidden markov models
automated deduction
low degree