A Bijective Proof of the Hook-Length Formula.

Deborah S. Franzblau Doron Zeilberger

Published in: J. Algorithms (1982)

Keyphrases

lagrange interpolation
theorem prover
theorem proving
artificial intelligence
information systems
case study
database systems
logic programs
maximum number
fixed length
proof planning
minimal length
mathematical proofs