External Links

    Journal: ACM Comm. Computer Algebra

    Volume 25, Issue 3

    4 -- 13Doron Zeilberger. A maple program for proving hypergeometric identities
    14 -- 17Gert Almkvist, Doron Zeilberger. A maple program that finds, and proves, recurrences and differential equations satisfied by hyperexponential definite integrals
    18 -- 27Dongming Wang. A toolkit for manipulating indefinite summations with application to neural networks
    28 -- 37Kevin A. Broughan, G. Keady, T. D. Robb, M. G. Richardson, Michael C. Dewar. Some symbolic computing links to the NAG numeric library
    38 -- 48. Symbolic computation research in Italy
    runs on