Hecke-Rogers, Andrews identities; combinatorial proofs.

James T. Joichi

Published in: Discret. Math. (1990)

Keyphrases

theorem proving
decision procedures
formal proofs
artificial intelligence
cooperative
expert systems
natural deduction
mathematical knowledge
neural network
data mining
learning environment
formal proof
equational theories
mathematical proofs