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

Displaying similar documents to “Relations between polynomial roots”

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