Login / Signup
Proof of two conjectures of Ciucu and Krattenthaler on the enumeration of lozenge tilings of hexagons with cut off corners.
Mihai Ciucu
Ilse Fischer
Published in:
J. Comb. Theory, Ser. A (2015)
Keyphrases
</>
theorem prover
geometry theorem proving
corner detection
search space
theorem proving
dynamic programming
planar curves
scale space
inference rules
data sets
linear logic
proof search
proof planning
information retrieval
feature points
bayesian networks
discrete geometry
automated theorem proving
natural deduction