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
Language: English
Page range: 31 - 37
Submitted on: Feb 23, 2017
|Published on: May 11, 2017
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2017 Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.