Displaying similar documents to “The tensor product of polynomials.”

Differentiability of Polynomials over Reals

Artur Korniłowicz (2017)

Formalized Mathematics

Similarity:

In this article, we formalize in the Mizar system [3] the notion of the derivative of polynomials over the field of real numbers [4]. To define it, we use the derivative of functions between reals and reals [9].