Towards computerized proofs of identities

Herbert S. Wilf, Doron Zeilberger

Research output: Contribution to journalArticlepeer-review

18 Scopus citations
Original languageEnglish (US)
Pages (from-to)77-83
Number of pages7
JournalBulletin of the American Mathematical Society
Volume23
Issue number1
DOIs
StatePublished - Jul 1990

All Science Journal Classification (ASJC) codes

  • Mathematics(all)
  • Applied Mathematics

Cite this