A proof of Andrews' q-Dyson conjecture.

Doron Zeilberger David M. Bressoud

Published in: Discret. Math. (1985)

Keyphrases

human intelligence
theorem prover
machine intelligence
information processing
theorem proving
artificial intelligence
human brain
linear logic
proof planning
database
feature selection
database systems
data structure
information technology
human beings
geometry theorem proving