About the domino problem in the hyperbolic plane from an algorithmic point of view

Maurice Margenstern

In this paper, we prove that the general problem of tiling the hyperbolic plane with à la Wang tiles is undecidable.