A direct bijective proof of the hook-length formula.

Jean-Christophe Novelli Igor Pak Alexander V. Stoyanovskii

Published in: Discret. Math. Theor. Comput. Sci. (1997)

Keyphrases

lagrange interpolation
fixed length
maximum number
databases
expert systems
theorem proving
natural deduction
computer vision
case study
video sequences
evolutionary algorithm
modal logic
theorem prover
automated theorem proving