Displaying similar documents to “Integrated Pearson family and orthogonality of the Rodrigues polynomials: A review including new results and an alternative classification of the Pearson system”

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].