On simulating Turing machines with matrix semigroups with integrality tests.

Vesa Halava Reino Niskanen

Published in: Theor. Comput. Sci. (2024)

Keyphrases

turing machine
statistical tests
singular value decomposition
mixed integer
linear systems
coefficient matrix
database
image sequences
covariance matrix
geometric properties
singular values
rows and columns
matrix representation