On the dimension of the solution space of linear difference equations over the ring of infinite sequences
Symbolic Computation
2024-10-08 v2
Abstract
For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior information on the dimension is available.
Keywords
Cite
@article{arxiv.2311.02219,
title = {On the dimension of the solution space of linear difference equations over the ring of infinite sequences},
author = {Sergei Abramov and Gleb Pogudin},
journal= {arXiv preprint arXiv:2311.02219},
year = {2024}
}
Comments
In memory of Marko Petkov\v{s}ek