A new proof of the flat wall theorem.

Ken-ichi Kawarabayashi Robin Thomas Paul Wollan

Published in: J. Comb. Theory, Ser. B (2018)

Keyphrases

interactive theorem proving
real time
climbing robot
neural network
social networks
computer vision
knowledge base
image segmentation
special case
von neumann
proof planning
shear stress