The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Convergence of pinching deformations and matings of geometrically finite 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].