Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] new in the AFP: Symmetric Polynomials


view this post on Zulip Email Gateway (Aug 22 2022 at 18:23):

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: Apr 18 2024 at 20:16 UTC