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

DOI10.1016/J.JSC.2024.102350MaRDI QIDQ6615399zbMATH OpenFDO

Authors S. M. Abramov, Gleb Pogudin

Publication date 8 October 2024

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

undecidabilitylinear difference operator with sequence coefficientssolution space dimension

Mathematics Subject Classification ID

Difference algebra (12H10)

Recommendations

• SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
• On the dimension of systems of algebraic difference equations
• Solving difference equations whose coefficients are not transcendental
• Implicit linear first order difference equations over commutative rings
• On an undecidable problem related to difference equations with parameters

Cites work

• An extension of holonomic sequences: \(C^2\)-finite sequences
• Effective difference elimination and nullstellensatz
• Linear difference operators with coefficients in the form of infinite sequences
• Linear difference operators with sequence coefficients having infinite-dimentional solution spaces
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the dimension of systems of algebraic difference equations
• SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
• Symbolic computation with sequences

This page was built for publication: On the dimension of the solution space of linear difference equations over the ring of infinite sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6615399)