@inproceedings{10.1145/3373207.3404004,
    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.},
    Address = {New York, NY, USA},
    Author = {Chen, Shaoshi and Du, Lixin and Kauers, Manuel and Verron, Thibaut},
    BookTitle = {Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation},
    File = {Integral P-Recursive Sequences - 2002.02783 - a - h.pdf},
    ISBN = {9781450371001},
    Location = {Kalamata, Greece},
    Pages = {91--98},
    Publisher = {Association for Computing Machinery},
    Series = {ISSAC '20},
    Title = {Integral Bases for P-Recursive Sequences},
    URL = {https://doi.org/10.1145/3373207.3404004},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.1145/3373207.3404004},
    date-added = {2020-09-29 22:57:32 +0200},
    date-modified = {2020-09-29 22:57:32 +0200},
    numpages = {8},
    doi = {10.1145/3373207.3404004}
}

@inproceedings{10.1145/3373207.3404004, 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.}, Address = {New York, NY, USA}, Author = {Chen, Shaoshi and Du, Lixin and Kauers, Manuel and Verron, Thibaut}, BookTitle = {Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation}, File = {Integral P-Recursive Sequences - 2002.02783 - a - h.pdf}, ISBN = {9781450371001}, Location = {Kalamata, Greece}, Pages = {91--98}, Publisher = {Association for Computing Machinery}, Series = {ISSAC '20}, Title = {Integral Bases for P-Recursive Sequences}, URL = {https://doi.org/10.1145/3373207.3404004}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.1145/3373207.3404004}, date-added = {2020-09-29 22:57:32 +0200}, date-modified = {2020-09-29 22:57:32 +0200}, numpages = {8}, doi = {10.1145/3373207.3404004} }