Abacus Proofs of Schur Function Identities.

Nicholas A. Loehr

Published in: SIAM J. Discret. Math. (2010)

Keyphrases

theorem proving
artificial intelligence
decision making
multiresolution
probabilistic model
logic programs