MetiTarski: An Automatic Prover for Real-Valued Special Functions
6.3 – Evaluating Polynomials. degree (of a monomial) 5x 2 y 3 degree =
U2 – 2.1 P OLYNOMIALS Naming Polynomials Add and Subtract Polynomials.
U2 – 2.1 P OLYNOMIALS Naming Polynomials Add and Subtract Polynomials Multiply Polynomials.