Towards computerized proofs of identities

Saved in:
Bibliographic Details
Published in:Bulletin (new series) of the American Mathematical Society 1990-07, Vol.23 (1), p.77-83
Main Authors: Wilf, Herbert S., Zeilberger, Doron
Format: Article
Language:English
Subjects:
Classical combinatorial problems
Combinatorics
Combinatorics. Ordered structures
Exact sciences and technology
Mathematics
Research article
Sciences and techniques of general use
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0273-0979
1088-9485
DOI:10.1090/S0273-0979-1990-15904-X