Some new identities for Schur functions are proved. In particular, we settle in the affirmative a recent conjecture of Ishikawa-Wakayama and solve a problem raised by Bressoud.
Factorization formulas of $K$-$k$-Schur functions I
A non-commutative generalization of $k$-Schur functions
IdentityFinder and some new identities of Rogers-Ramanujan type
![QR code for arXiv:math/0010252 [math.CO]](http://oss.arxitics.com/images/favicon.svg)