Differentiability of Polynomials over Reals

• Autorzy: Artur Korniłowicz
• Języki publikacji: EN

Abstrakty

EN

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].

Słowa kluczowe

EN

differentiation of real polynomials; derivative of real polynomials

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2017
• Tom: 25
• Numer: 1
• Strony: 31-37

Daty

wydano

2017-03-28

otrzymano

2017-02-23

online

2017-05-11

Twórcy

autor

Artur Korniłowicz

• , ,

Identyfikatory

DOI

10.1515/forma-2017-0002