The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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