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

Institut für Algebra

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
Herausgeber*innen	Angelos Mantzaflaris
Seiten	91-98
Seitenumfang	8
ISBN (elektronisch)	9781450371001
DOIs	https://doi.org/10.1145/3373207.3404004
Publikationsstatus	Veröffentlicht - 20 Juli 2020

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101013 Mathematische Logik
102031 Theoretische Informatik

JKU-Schwerpunkte

Digital Transformation

Zugriff auf Dokument

10.1145/3373207.3404004

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@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,

day = "20",

doi = "10.1145/3373207.3404004",

language = "English",

pages = "91--98",

editor = "Angelos Mantzaflaris",

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/20

Y1 - 2020/7/20

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.

UR - https://www.scopus.com/pages/publications/85090353216

U2 - 10.1145/3373207.3404004

DO - 10.1145/3373207.3404004

M3 - Conference proceedings

SP - 91

EP - 98

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

A2 - Mantzaflaris, Angelos

ER -