Salomon's Theorem for polynomials with several parameters
Schinzel's problem: Imprimitive covers and the monodromy method
Solved and unsolved problems οn polynomials
Some Algebraic Properties of Polynomial Rings
In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic polynomials we present the canonical embedding of R into R[X] and deal with both unit and irreducible elements. We also define polynomial GCDs and show that for fields F and irreducible polynomials p the field F[X]/ is isomorphic to the field of polynomials with degree smaller than the one of p.
Some classes of irreducible polynomials
Specialization of quadratic and symmetric, bilinear forms, and a norm theorem
Stabilité algébrique et topologies hilbertiennes
Sur la résultante de trois formes quadratiques ternaires
Sur le spectre d'un polynôme à plusieurs variables
Sur les polynomes f(X,Y) tels que K[f] est integralement ferme dans K[X,Y]
Sur les transformations polynômiales et rationnelles