<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

Online veröffentlicht: 11. Mai 2017

Seitenbereich: 31 - 37

Eingereicht: 23. Feb. 2017

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

Schlüsselwörter
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

Online veröffentlicht: 11. Mai 2017

Seitenbereich: 31 - 37

Eingereicht: 23. Feb. 2017

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

Schlüsselwörterdifferentiation 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.

Schlüsselwörter
differentiation of real polynomials, derivative of real polynomials