关于无限序列环上线性差分方程解空间维数的研究
符号计算
2024-10-08 v2
摘要
对于系数为可计算序列的线性差分方程，我们确立了确定其解空间维数问题的算法不可判定性，包括当关于维数的某些额外先验信息可用时的情况。
引用
@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}
}
备注
In memory of Marko Petkov\v{s}ek