Tilings of the plane, Thurston semi-norm and decidability
Résumé
We give a geometric interpretation of the undecidability of the tiling problem in the plane. We show that this problem boils down to prove the existence of zeros of a nonnegative convex function defined on a finite dimensional simplex and related to the Thurston semi-norm.
Origine | Fichiers produits par l'(les) auteur(s) |
---|