Accès libre

Differentiability of Polynomials over Reals

À propos de cet article

Citez

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

eISSN:
1898-9934
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Computer Sciences, other, Mathematics, General Mathematics