Displaying similar documents to “On roots of polynomials with power series coefficients”

On Roots of Polynomials and Algebraically Closed Fields

Christoph Schwarzweller (2017)

Formalized Mathematics

Similarity:

In this article we further extend the algebraic theory of polynomial rings in Mizar [1, 2, 3]. We deal with roots and multiple roots of polynomials and show that both the real numbers and finite domains are not algebraically closed [5, 7]. We also prove the identity theorem for polynomials and that the number of multiple roots is bounded by the polynomial’s degree [4, 6].

Some gap power series in multidimensional setting

Józef Siciak (2011)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We study extensions of classical theorems on gap power series of a complex variable to the multidimensional case.