Login / Signup

On a bijective proof of a factorization formula for Macdonald polynomials.

François DescouensHideaki MoritaYasuhide Numata
Published in: Eur. J. Comb. (2012)
Keyphrases
  • lagrange interpolation
  • pairwise
  • theorem prover
  • matrix factorization
  • data sets
  • kronecker product
  • singular value decomposition
  • theorem proving
  • low order