Matrix equations and Hilbert's tenth problem

We show a reduction of Hilbert's tenth problem to the solvability of the matrix equation Xi1 1 Xi2 2 Xik k = Z over non-commuting integral matrices, where Z is the zero matrix, thus proving that the solvability of the equation is undecidable. This is in contrast to the case whereby the matrix s...

Full description

Saved in:
Bibliographic Details
Main Authors: Paul Bell, Vesa Halava, Tero Harju, Juhani Karhumaki, Igor Potapov
Format: Default Article
Published: 2008
Subjects:
Theory of computation not elsewhere classified
Other information and computing sciences not elsewhere classified
Matrix equations
Undecidability
Formal power series
Diophantine equations
Computation Theory and Mathematics
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/12045
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items