RobertCoquereaux / Lie-AffineLie-Representations Star 3 Code Issues Pull requests Representations of Lie algebras, affine Lie algebra, quantum groups. Fusion algebras. honeycombs irreducible-representations symmetric-polynomials zonal-polynomials jack-polynomials schur-polynomials littlewood-richardson tensor-product-decomposition Updated Sep 28, 2025 Mathematica
stla / jackpolynomials Star 1 Code Issues Pull requests Jack, zonal, Schur, and other symmetric polynomials haskell symmetric-polynomials zonal-polynomials jack-polynomials schur-polynomials Updated Jul 17, 2024 Haskell
stla / jackR Star 1 Code Issues Pull requests Jack, zonal, Schur, and other symmetric polynomials r symmetric-polynomials zonal-polynomials jack-polynomials schur-polynomials Updated Aug 28, 2024 R
AEjonanonymous / Orbit-Sum-Origami Star 1 Code Issues Pull requests A Machine-Certified Universal Folding Approach to the Inverse Galois Problem. origami galois-field group-theory inverse-problems number-theory folding interactive-theorem-proving galois-theory mathlib discriminant-analysis symmetric-polynomials lean4 rational-maps surjective constructive-algebra ai-augmented-research irreducibility orbit-sum reynolds-operator Updated Jul 18, 2026 Lean
EgorMaximenko / schur_rep_incr Star 0 Code Issues Pull requests Tests of the formula for Schur polynomials with repeating variables determinant symmetric-polynomials schur-polynomials Updated Nov 4, 2024 Sage