REVIEW 1 cited by
An Introduction to Algebraic Combinatorics
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
An Introduction to Algebraic Combinatorics
read the original abstract
This is an introduction to algebraic combinatorics, written for a quarter-long graduate course. It starts with a rigorous introduction to formal power series with some combinatorial applications, then discusses integer partitions (proving Jacobi's triple product identity), permutations (Lehmer codes, cycles) and subtractive methods (alternating sums, cancellations and inclusion-exclusion principles, with a particular focus on sign-reversing involutions and determinants). The last chapter introduces symmetric polynomials and proves the Littlewood--Richardson rule using Bender--Knuth involutions (a la Stembridge). The appendix contains over 200 exercises (without solutions).
Forward citations
Cited by 1 Pith paper
-
Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond
The authors construct Lean libraries for q-series primitives and deliver verified proofs of the Jacobi triple product and Rogers-Ramanujan identities.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.