Combinatorial Proofs of q-Series Identities.

Robin J. Chapman

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

Keyphrases

formal proofs
neural network
data mining
information retrieval
theorem proving