Short Proofs of Saalschütz's and Dixon's Theorems.

Ira M. Gessel Dennis Stanton

Published in: J. Comb. Theory, Ser. A (1985)

Keyphrases

sequent calculus
theorem proving
cut elimination
proof search
theorem prover
catchment basins
decision procedures
mathematical proofs