Elementary proofs of congruences for the cubic and overcubic partition functions.

James A. Sellers

Published in: Australas. J Comb. (2014)

Keyphrases

neural network
data mining
decision procedures
formal proof
data sets
databases
real world
decision making
artificial neural networks
theorem prover