Bijective proofs of skew Schur polynomial factorizations.

Arvind Ayyer Ilse Fischer

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

Keyphrases

theorem proving
theorem prover
low order
aspect ratio
formal proof
data sets
social networks
objective function
artificial neural networks
nonnegative matrix factorization
mathematical proofs