<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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].</p></abstract>

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

Differentiability of Polynomials over Reals

Formalized Mathematics

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.

{"article-title":"Differentiability of Polynomials over Reals"}

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

Differentiability of Polynomials over Reals

Publicado en línea: 11 may 2017

Páginas: 31 - 37

Recibido: 23 feb 2017

DOI: https://doi.org/10.1515/forma-2017-0002

Palabras clave
differentiation of real polynomials, derivative of real polynomials

© by Artur Korniłowicz

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.

Differentiability of Polynomials over Reals

Publicado en línea: 11 may 2017

Páginas: 31 - 37

Recibido: 23 feb 2017

DOI: https://doi.org/10.1515/forma-2017-0002

Palabras clavedifferentiation of real polynomials, derivative of real polynomials

© by Artur Korniłowicz

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.

Palabras clave
differentiation of real polynomials, derivative of real polynomials