A Laurent Series Proof of the Habsieger-Kadell $q$-Morris Identity.

Xin Guo Ce Zhou Yue

Published in: Electron. J. Comb. (2014)

Keyphrases

theorem proving
neural network
decision making
computer science
proof planning
database
information retrieval
case study
digital libraries
medical images
theorem prover