Combinatorial proofs of generating function identities for F-partitions.

Published in: J. Comb. Theory, Ser. A (2003)

Keyphrases

theorem proving
theorem prover
formal proofs
database
real time
clustering algorithm
three dimensional
similarity measure
bayesian networks
reinforcement learning
knowledge representation