A short proof of two shuffling theorems for tilings and a weighted generalization.

Published in: Discret. Math. (2022)

Keyphrases

proof search
sequent calculus
linear logic
cut elimination
discrete geometry
learning machines
theorem prover
real time
proof planning
weighted graph
image segmentation
website
information retrieval
machine learning
data sets
database
geometry theorem proving