@article{Zeilberger:JCAM:1990,
    Abstract = {We observe that many special functions are solutions of so-called holonomic systems. Bernstein's deep theory of holonomic systems is then invoked to show that any identity involving sums and integrals of products of these special functions can be verified in a finite number of steps. This is partially substantiated by an algorithm that proves terminating hypergeometric series identities, and that is given both in English and in MAPLE.},
    Author = {Zeilberger, Doron},
    File = {A holonomic systems approach to special functions identities - a - a - a - x.pdf},
    ISSN = {0377-0427},
    Journal = {Journal of Computational and Applied Mathematics},
    Keywords = {Elimination, Weyl algebra, partial difference operators, computer algebra, hypergeometric series},
    Number = {3},
    Pages = {321--368},
    Title = {A holonomic systems approach to special functions identities},
    URL = {http://www.sciencedirect.com/science/article/pii/037704279090042X},
    Volume = {32},
    Year = {1990},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/037704279090042X},
    bdsk-url-2 = {https://doi.org/10.1016/0377-0427(90)90042-X},
    date-added = {2020-02-25 07:55:27 +0100},
    date-modified = {2020-06-11 09:33:09 +0200},
    doi = {10.1016/0377-0427(90)90042-X}
}

@article{Zeilberger:JCAM:1990, Abstract = {We observe that many special functions are solutions of so-called holonomic systems. Bernstein's deep theory of holonomic systems is then invoked to show that any identity involving sums and integrals of products of these special functions can be verified in a finite number of steps. This is partially substantiated by an algorithm that proves terminating hypergeometric series identities, and that is given both in English and in MAPLE.}, Author = {Zeilberger, Doron}, File = {A holonomic systems approach to special functions identities - a - a - a - x.pdf}, ISSN = {0377-0427}, Journal = {Journal of Computational and Applied Mathematics}, Keywords = {Elimination, Weyl algebra, partial difference operators, computer algebra, hypergeometric series}, Number = {3}, Pages = {321--368}, Title = {A holonomic systems approach to special functions identities}, URL = {http://www.sciencedirect.com/science/article/pii/037704279090042X}, Volume = {32}, Year = {1990}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/037704279090042X}, bdsk-url-2 = {https://doi.org/10.1016/0377-0427(90)90042-X}, date-added = {2020-02-25 07:55:27 +0100}, date-modified = {2020-06-11 09:33:09 +0200}, doi = {10.1016/0377-0427(90)90042-X} }