Cyclic sieving for a family of semistandard tableaux.

Joshua Basman Monterrubio Graeme Henrickson Anna Stokke

Published in: Australas. J Comb. (2023)

Keyphrases

case study
functional dependencies
decision procedures
real time
neural network
information retrieval
data model
special case
automated reasoning
proof procedure