Displaying similar documents to “Corrigendum to the paper 'An extension of a result of C. J. Smyth to polynomials in several variables' Acta Arith. 50 (1988), 211-214”

Differentiability of Polynomials over Reals

Artur Korniłowicz (2017)

Formalized Mathematics

Similarity:

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