Über diesen Artikel
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
© by Artur Korniłowicz
This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.
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].