A Combinatorial Proof of a Symmetric q-Pfaff-Saalschütz Identity.

Victor J. W. Guo Jiang Zeng

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

Keyphrases

catchment basins
theorem proving
linear logic
theorem prover
neural network
natural deduction
proof theory
rendezvous search