Hook Formulas for Skew Shapes II. Combinatorial Proofs and Enumerative Applications.

Alejandro H. Morales Igor Pak Greta Panova

Published in: SIAM J. Discret. Math. (2017)

Keyphrases

shape analysis
theorem proving
neural network
theorem prover
shape description
aspect ratio
shape model
integer programming
rotationally symmetric
three dimensional
shape matching
medial axis
shape variations
decision procedures