About the domino problem in the hyperbolic plane, a new solution

Abstract

In this paper we improve the approach of a previous paper about the domino problem in the hyperbolic plane, see arXiv.cs.CG/0603093. This time, we prove that the general problem of the hyperbolic plane with à la Wang tiles is undecidable.

60 pages, 16 figures

Cited by in corpus (2)

• Constructing a uniform plane-filling path in the ternary heptagrid of the hyperbolic plane
• Is the injectivity of the global function of a cellular automaton in the hyperbolic plane undecidable?