Elementary proofs of some q-identities of Jackson and Andrews-Jain.
Victor J. W. GuoPublished in: Discret. Math. (2005)
Keyphrases
- queueing networks
- theorem prover
- theorem proving
- special case
- technical report
- stationary distribution
- mathematical proofs
- database
- equational theories
- formal proofs
- school children
- natural deduction
- multiscale
- neural network
- heavy traffic
- control system
- decision procedures
- relational databases
- multi agent
- multimedia
- artificial intelligence