Algebraic Combinatorics in Coq
-
Updated
Apr 11, 2023 - Coq
#
symmetric-functions
Here are 7 public repositories matching this topic...
A MATLAB program related to Symmetric Function
-
Updated
May 29, 2023 - Jupyter Notebook
Exact counterexamples to a Lorentzianity conjecture for border-strip E-polynomials
-
Updated
Jul 29, 2026 - Python
Finding missing k numbers in data stream using symm functions
-
Updated
May 21, 2024 - Python
Working with symmetric functions (elementary, complete homogeneous, power sum, monomial and Schur) and associated combinatorics
-
Updated
Dec 25, 2025 - Mathematica
Schur functions at (1,-1,t,1/t): a closed form on the non-identity component of O(4) (Part IV).
reproducible-research combinatorics particle-physics formal-verification hep-ph hep-th lean4 su4 symmetric-functions extra-dimensions exact-computation orbifold gauge-higgs-unification character-factorization orthogonal-group schur-functions
-
Updated
Aug 1, 2026 - TeX
Improve this page
Add a description, image, and links to the symmetric-functions topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symmetric-functions topic, visit your repo's landing page and select "manage topics."