Combinatorial proofs of identities in basic hypergeometric series.

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

Keyphrases

theorem proving
formal proofs
data sets
databases
multiscale
theorem prover
neural network
artificial intelligence
information systems
multi agent
lower bound
expert systems
natural deduction
mathematical proofs