On the dimension of the solution space of linear difference equations over the ring of infinite sequences

التفاصيل البيبلوغرافية
العنوان: On the dimension of the solution space of linear difference equations over the ring of infinite sequences
المؤلفون: Abramov, Sergei, Pogudin, Gleb
سنة النشر: 2023
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Symbolic Computation
الوصف: 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.
Comment: In memory of Marko Petkov\v{s}ek
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2311.02219
رقم الأكسشن: edsarx.2311.02219
قاعدة البيانات: arXiv