<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

Published Online: May 11, 2017

Page range: 31 - 37

Received: Feb 23, 2017

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

Keywords
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

Published Online: May 11, 2017

Page range: 31 - 37

Received: Feb 23, 2017

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

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

Keywords
differentiation of real polynomials, derivative of real polynomials