Sign in

A new proof of the flat wall theorem.

Ken-ichi KawarabayashiRobin ThomasPaul 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