A q-Foata Proof of the q-Saalschütz Identity.

Doron Zeilberger

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

Keyphrases

catchment basins
identity management
theorem proving
linear logic
complete axiomatization
data sets
computer vision
pattern recognition
color space
theorem prover