Download The Proof Complexity of Polynomial Identities

Automatic differentiation wikipedia , lookup

Field (mathematics) wikipedia , lookup

Elementary algebra wikipedia , lookup

Quartic function wikipedia , lookup

Capelli's identity wikipedia , lookup

Equation wikipedia , lookup

Gröbner basis wikipedia , lookup

Resultant wikipedia , lookup

Horner's method wikipedia , lookup

Propositional calculus wikipedia , lookup

Polynomial wikipedia , lookup

Laws of Form wikipedia , lookup

Polynomial greatest common divisor wikipedia , lookup

Cayley–Hamilton theorem wikipedia , lookup

System of polynomial equations wikipedia , lookup

Polynomial ring wikipedia , lookup

Factorization wikipedia , lookup

Eisenstein's criterion wikipedia , lookup

Factorization of polynomials over finite fields wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup