Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Paper
The halting probability via Wang tiles
Abstract
Using work of Hao Wang, we exhibit a tiling characterization of the bits of the halting probability.
Related
Conference paper
Characterization of a next generation step-and-scan system
Timothy J. Wiltshire, Joseph P. Kirk, et al.
SPIE Advanced Lithography 1998
Matthew A Grayson
Journal of Complexity
Tong Zhang, G.H. Golub, et al.
Linear Algebra and Its Applications