Human proofs of identities by Osburn and Schneider.
Prodinger, Helmut (2008)
Integers
Similarity:
Displaying similar documents to “Truncating binomial series with symbolic summation.”
Human proofs of identities by Osburn and Schneider.
Automated proofs for some Stirling number identities.
Kauers, Manuel, Schneider, Carsten (2008)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Pfaff's method. III: Comparison with the WZ method.
Andrews, George E. (1996)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
A WZ proof of a “curious” identity.
Ekhad, Shalosh B., Mohammed, Mohamud (2003)
Integers
Similarity:
An invariant sum related to record statistics.
Lengyel, Tamás (2007)
Integers
Similarity:
Apéry's double sum is plain sailing indeed.
Schneider, Carsten (2007)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
On a combinatorial problem of Asmus Schmidt.
Zudilin, W. (2004)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Summation identities for representation of certain real numbers.
Grossman, George, Tefera, Akalu, Zeleke, Aklilu (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Searching for strange hypergeometric identities by sheer brute force.
Apagodu, Moa, Zeilberger, Doron (2008)
Integers
Similarity:
Symbolic summation assists combinatorics.
Schneider, Carsten (2006)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
In praise of an elementary identity of Euler.
Bhatnagar, Gaurav (2011)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
The summation package Sigma: underlying principles and a rhombus tiling application.
Schneider, Carsten (2004)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Similarity:
Combinatorial proof of a curious -binomial coefficient identity.
Guo, Victor J.W., Zeng, Jiang (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity: