A bijective proof of the q-Saalschütz theorem.

Published in: Discret. Math. (1985)

Keyphrases

interactive theorem proving
catchment basins
theorem prover
von neumann
linear logic
heavy traffic limit
image processing
feature extraction
multiscale
pattern recognition
queue length