Towards computerized proofs of identities
Wilf, Herbert S. ; Zeilberger, Doron
Bull. Amer. Math. Soc. (N.S.), Tome 23 (1990) no. 1, p. 77-83 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1990-07-14
Classification:  05A19 
@article{1183555718,
     author = {Wilf, Herbert S. and Zeilberger, Doron},
     title = {Towards computerized proofs of identities},
     journal = {Bull. Amer. Math. Soc. (N.S.)},
     volume = {23},
     number = {1},
     year = {1990},
     pages = { 77-83},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183555718}
}

Wilf, Herbert S.; Zeilberger, Doron. Towards computerized proofs of identities. Bull. Amer. Math. Soc. (N.S.), Tome 23 (1990) no. 1, pp.  77-83. http://gdmltest.u-ga.fr/item/1183555718/