Differentiability of Polynomials over Reals
Formalized Mathematics (2017)
- Volume: 25, Issue: 1, page 31-37
- ISSN: 1426-2630
Access Full Article
top
Abstract
topHow to cite
topArtur Korniłowicz. "Differentiability of Polynomials over Reals." Formalized Mathematics 25.1 (2017): 31-37. <http://eudml.org/doc/288126>.
@article{ArturKorniłowicz2017,
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].},
author = {Artur Korniłowicz},
journal = {Formalized Mathematics},
keywords = {differentiation of real polynomials; derivative of real polynomials},
language = {eng},
number = {1},
pages = {31-37},
title = {Differentiability of Polynomials over Reals},
url = {http://eudml.org/doc/288126},
volume = {25},
year = {2017},
}
TY - JOUR
AU - Artur Korniłowicz
TI - Differentiability of Polynomials over Reals
JO - Formalized Mathematics
PY - 2017
VL - 25
IS - 1
SP - 31
EP - 37
AB - 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].
LA - eng
KW - differentiation of real polynomials; derivative of real polynomials
UR - http://eudml.org/doc/288126
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.