A=B
Marko Petkovšek, Herbert Wilf, and Doron Zeilberger on algorithms for proving hypergeometric identities.
- from
- Math
- added
- 2026-10-10
- likes
- 0
similar
-
Abstract Algebra: Harvard Extension people.math.harvard.edu
Benedict Gross.
-
Algorithms and Complexity www2.math.upenn.edu
H. Wilf.
-
Abstract Algebra: Harvard Extension Videos youtube.com
Benedict Gross.
-
Logic and Proof avigad.github.io
Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn.
-
generatingfunctionology www2.math.upenn.edu
Herbert Wilf.
-
Proofs and Types paultaylor.eu
Jean-Yves Girard.
Math › Combinatorics and Discrete Mathematics: “Marko Petkovšek, Herbert Wilf, and Doron Zeilberger on algorithms for proving hypergeometric identities.”