Login / Signup
Bijective Proofs of Partition Identities of MacMahon, Andrews, and Subbarao.
Shishuo Fu
James A. Sellers
Published in:
Electron. J. Comb. (2014)
Keyphrases
</>
theorem prover
decision making
formal proof
equational theories
mathematical proofs
real time
machine learning
real world
genetic algorithm
decision trees
search algorithm
multi agent systems
partitioning algorithm
natural deduction