About the domino problem in the hyperbolic plane from an algorithmic point of view
arXiv:cs/0603093 · doi:10.1051/ita:2007045
Abstract
In this paper, we prove that the general problem of tiling the hyperbolic plane with à la Wang tiles is undecidable.
11 pages, 6 figures