#### DMCA

## An Algorithmic Proof Theory for Hypergeometric (ordinary and ``$q$'') Multisum/integral Identities (1991)

by
Herbert S. Wilf
,
Doron Zeilberger

Citations: | 189 - 17 self |