@inproceedings{10.1145/1576702.1576720,
    Abstract = {We extend Zeilberger's approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals involving Stirling or Bernoulli numbers, incomplete Gamma function or polylogarithms, which are not covered by the holonomic framework. The basic idea is to take into account the dimension of appropriate ideals in Ore algebras. This unifies several earlier extensions and provides algorithms for summation and integration in classes that had not been accessible to computer algebra before.},
    Address = {New York, NY, USA},
    Author = {Chyzak, Fr\'{e}d\'{e}ric and Kauers, Manuel and Salvy, Bruno},
    BookTitle = {Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation},
    File = {A Non-Holonomic Systems Approach to Special Function Identities - 0904.2761 - a - e.pdf},
    ISBN = {9781605586090},
    Keywords = {symbolic summation and integration, d-finite functions},
    Location = {Seoul, Republic of Korea},
    Pages = {111--118},
    Publisher = {Association for Computing Machinery},
    Series = {ISSAC '09},
    Title = {A Non-Holonomic Systems Approach to Special Function Identities},
    URL = {https://doi.org/10.1145/1576702.1576720},
    Year = {2009},
    bdsk-url-1 = {https://doi.org/10.1145/1576702.1576720},
    date-added = {2020-10-03 08:55:28 +0200},
    date-modified = {2020-10-03 08:55:28 +0200},
    numpages = {8},
    doi = {10.1145/1576702.1576720}
}

@inproceedings{10.1145/1576702.1576720, Abstract = {We extend Zeilberger's approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals involving Stirling or Bernoulli numbers, incomplete Gamma function or polylogarithms, which are not covered by the holonomic framework. The basic idea is to take into account the dimension of appropriate ideals in Ore algebras. This unifies several earlier extensions and provides algorithms for summation and integration in classes that had not been accessible to computer algebra before.}, Address = {New York, NY, USA}, Author = {Chyzak, Fr\'{e}d\'{e}ric and Kauers, Manuel and Salvy, Bruno}, BookTitle = {Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation}, File = {A Non-Holonomic Systems Approach to Special Function Identities - 0904.2761 - a - e.pdf}, ISBN = {9781605586090}, Keywords = {symbolic summation and integration, d-finite functions}, Location = {Seoul, Republic of Korea}, Pages = {111--118}, Publisher = {Association for Computing Machinery}, Series = {ISSAC '09}, Title = {A Non-Holonomic Systems Approach to Special Function Identities}, URL = {https://doi.org/10.1145/1576702.1576720}, Year = {2009}, bdsk-url-1 = {https://doi.org/10.1145/1576702.1576720}, date-added = {2020-10-03 08:55:28 +0200}, date-modified = {2020-10-03 08:55:28 +0200}, numpages = {8}, doi = {10.1145/1576702.1576720} }