#

symmetric-functions

Here are 8 public repositories matching this topic...

hivert / Coq-Combi

Algebraic Combinatorics in Coq

coq coq-formalization combinatorics mathcomp symmetric-functions

Updated Apr 11, 2023
Coq

tommykwok722 / Symmetric-Function

A MATLAB program related to Symmetric Function

matlab jupyter-notebook symmetric-functions

Updated May 29, 2023
Jupyter Notebook

natkaida / missing_k_numbers

Finding missing k numbers in data stream using symm functions

data-stream missing-values set-reconciliation symmetric-functions

Updated May 21, 2024
Python

zihaohuang156322 / zihaohuang156322.github.io

Zihao Huang (combinatorics) | Homepage

combinatorics algebraic-combinatorics symmetric-functions

Updated Sep 24, 2026
SCSS

THelpin / SymmetricFunctions

Working with symmetric functions (elementary, complete homogeneous, power sum, monomial and Schur) and associated combinatorics

combinatorics representation-theory schur-polynomials symmetric-functions

Updated Dec 25, 2025
Mathematica

infinityscroll / border-strip-lorentzian-counterexamples

Exact counterexamples to a Lorentzianity conjecture for border-strip E-polynomials

counterexample algebraic-combinatorics symmetric-functions lorentzian-polynomials

Updated Jul 29, 2026
Python

inha20 / 2SymmetricBooleanFunctionMinorThesis

research karnaugh-map discrete-mathematics mathematical-analysis combinatorics digital-logic boolean-algebra boolean-functions symmetric-functions theorical-computer-science minor-thesis

Updated Jul 11, 2026
HTML

karlesmarin / schur-nonidentity-o4

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 Sep 3, 2026
TeX

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."