A combinatorial proof of the reduction formula for Littlewood-Richardson coefficients.

Soojin Cho Eun-Kyoung Jung Dongho Moon

Published in: J. Comb. Theory, Ser. A (2007)

Keyphrases

linear combination
wavelet coefficients
basis functions
theorem prover
reduction method
interactive theorem proving
database
data sets
learning algorithm
case study
wavelet transform
image compression
linear relationship
weighting coefficients