A Stembridge-Stanton style elementary proof of the Habsieger-Kadell q-Morris identity.

Doron Zeilberger

Published in: Discret. Math. (1990)

Keyphrases

theorem proving
identity management
database
theorem prover
social context
data sets
databases
artificial intelligence
linear logic
geometry theorem proving