Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron,
"Integral bases for P-recursive sequences"
: ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, Seite(n) 91, 7-2020
Original Titel:
Integral bases for P-recursive sequences
Sprache des Titels:
Englisch
Original Buchtitel:
ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
Original Kurzfassung:
In an earlier paper, the notion of integrality known for algebraic number fields and fields of algebraic functions has been extended to D-finite functions. The aim of the present paper is to extend the notion to the case of P-recursive sequences. In order to do so, we formulate a general algorithm for finding all integral elements for valued vector spaces and then show that this algorithm includes not only the algebraic and the D-finite cases but also covers the case of P-recursive sequences.