Displaying similar documents to “Equivalence classes of sets of functions over a finite field”

The field of Nash functions and factorization of polynomials

Stanisław Spodzieja (1996)

Annales Polonici Mathematici

Similarity:

The algebraically closed field of Nash functions is introduced. It is shown that this field is an algebraic closure of the field of rational functions in several variables. We give conditions for the irreducibility of polynomials with Nash coefficients, a description of factors of a polynomial over the field of Nash functions and a theorem on continuity of factors.

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