A bijective proof of the hook-length formula for skew shapes.
Matjaz KonvalinkaPublished in: Eur. J. Comb. (2020)
Keyphrases
- lagrange interpolation
- shape analysis
- shape model
- shape recognition
- shape prior
- theorem prover
- linear logic
- arc length
- shape representation
- theorem proving
- fixed length
- shape description
- shape classification
- total length
- shape variations
- shape retrieval
- image segmentation
- natural deduction
- complete axiomatization
- rotationally symmetric