<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

Data publikacji: 11 maj 2017

Zakres stron: 31 - 37

Otrzymano: 23 lut 2017

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

Słowa kluczowe
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

Data publikacji: 11 maj 2017

Zakres stron: 31 - 37

Otrzymano: 23 lut 2017

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

Słowa kluczowedifferentiation 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.

Słowa kluczowe
differentiation of real polynomials, derivative of real polynomials