On the Automatizability of Polynomial Calculus.

Nicola Galesi Massimo Lauria

Published in: Theory Comput. Syst. (2010)

Keyphrases

lower bound
objective function
low order
real numbers
automated deduction
neural network
information retrieval
algebraic structure
expert systems
higher order
natural deduction
lagrange interpolation
orthogonal polynomials
formal language
natural language
computer vision
machine learning