Combinatorial proofs and generalizations of conjectures related to Euler's partition theorem.

Jane Y. X. Yang

Published in: Eur. J. Comb. (2019)

Keyphrases

data sets
theorem prover
real time
information retrieval
genetic algorithm
bayesian networks
knowledge representation
rough sets