Proof of a conjecture of Kenyon and Wilson on semicontiguous minors.

Published in: J. Comb. Theory, Ser. A (2019)

Keyphrases

theorem proving
machine learning
decision trees
multiscale
mobile robot
linear logic
data sets
artificial intelligence
computer vision
multi agent
expert systems
inference rules
mathematical proofs