#

character-factorization

Here is 1 public repository matching this topic...

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 Aug 20, 2026
TeX

Improve this page

Add a description, image, and links to the character-factorization topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the character-factorization topic, visit your repo's landing page and select "manage topics."