Integral bases for P-recursive sequences

Shaoshi Chen; Lixin Du; Manuel Kauers; Thibaut Verron

doi:10.1145/3373207.3404004

Integral bases for P-recursive sequences

Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron

Institute for Algebra

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

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.

Original language	English
Title of host publication	ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
Pages	91
Number of pages	8
DOIs	https://doi.org/10.1145/3373207.3404004
Publication status	Published - Jul 2020

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101013 Mathematical logic
102031 Theoretical computer science

JKU Focus areas

Digital Transformation

Access to Document

10.1145/3373207.3404004

Cite this

@inproceedings{c3ff878c71c84d618fdc520039838e2e,

title = "Integral bases for P-recursive sequences",

abstract = "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.",

author = "Shaoshi Chen and Lixin Du and Manuel Kauers and Thibaut Verron",

year = "2020",

month = jul,

doi = "10.1145/3373207.3404004",

language = "English",

pages = "91",

booktitle = "ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation",

}

TY - GEN

T1 - Integral bases for P-recursive sequences

AU - Chen, Shaoshi

AU - Du, Lixin

AU - Kauers, Manuel

AU - Verron, Thibaut

PY - 2020/7

Y1 - 2020/7

N2 - 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.

AB - 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.

U2 - 10.1145/3373207.3404004

DO - 10.1145/3373207.3404004

M3 - Conference proceedings

SP - 91

BT - ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation

ER -