From: Lawrence Paulson <lp15@cam.ac.uk>
We have a new entry by the prolific Manuel Eberl:
"A symmetric polynomial is a polynomial in variables X1,…,Xn that does not discriminate between its variables, i. e. it is invariant under any permutation of them. These polynomials are important in the study of the relationship between the coefficients of a univariate polynomial and its roots in its algebraic closure. This article provides a definition of symmetric polynomials and the elementary symmetric polynomials e1,…,en and proofs of their basic properties.”
You can download it here:
https://www.isa-afp.org/entries/Symmetric_Polynomials.html
Larry Paulson
Last updated: Nov 21 2024 at 12:39 UTC