Combinatorial proof for a stability property of plethysm coefficients.

Laura Colmenarejo Hernando Emmanuel Briand

Published in: Electron. Notes Discret. Math. (2014)

Keyphrases

linear combination
wavelet coefficients
basis functions
theorem prover
theorem proving
databases
bayesian networks
multiresolution
sufficient conditions
asymptotic stability