@article{CHYZAK1998187,
    Abstract = {Many computations involving special functions, combinatorial sequences or theirq-analogues can be performed using linear operators and simple arguments on the dimension of related vector spaces. In this article, we develop a theory of ∂-finite sequences and functions which provides a unified framework to express algorithms for computing sums and integrals and for the proof or discovery of multivariate identities. This approach is vindicated by an implementation.},
    Author = {Chyzak, F. and Salvy, B.},
    File = {Non-commutative Elimination in Ore Algebras Proves Multivariate Identities - 1-s2.0-S0747717198902073-main - a - t.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Number = {2},
    Pages = {187 - 227},
    Title = {Non-commutative Elimination in Ore Algebras Proves Multivariate Identities},
    URL = {http://www.sciencedirect.com/science/article/pii/S0747717198902073},
    Volume = {26},
    Year = {1998},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717198902073},
    bdsk-url-2 = {https://doi.org/10.1006/jsco.1998.0207},
    date-added = {2020-04-24 07:53:23 +0200},
    date-modified = {2020-04-24 07:53:23 +0200},
    doi = {10.1006/jsco.1998.0207}
}

@article{CHYZAK1998187, Abstract = {Many computations involving special functions, combinatorial sequences or theirq-analogues can be performed using linear operators and simple arguments on the dimension of related vector spaces. In this article, we develop a theory of ∂-finite sequences and functions which provides a unified framework to express algorithms for computing sums and integrals and for the proof or discovery of multivariate identities. This approach is vindicated by an implementation.}, Author = {Chyzak, F. and Salvy, B.}, File = {Non-commutative Elimination in Ore Algebras Proves Multivariate Identities - 1-s2.0-S0747717198902073-main - a - t.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Number = {2}, Pages = {187 - 227}, Title = {Non-commutative Elimination in Ore Algebras Proves Multivariate Identities}, URL = {http://www.sciencedirect.com/science/article/pii/S0747717198902073}, Volume = {26}, Year = {1998}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717198902073}, bdsk-url-2 = {https://doi.org/10.1006/jsco.1998.0207}, date-added = {2020-04-24 07:53:23 +0200}, date-modified = {2020-04-24 07:53:23 +0200}, doi = {10.1006/jsco.1998.0207} }