# Differentiability of Polynomials over Reals

Formalized Mathematics (2017)

- Volume: 25, Issue: 1, page 31-37
- ISSN: 1426-2630

## Access Full Article

top## Abstract

top## How 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.