Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

All binomial identities are verifiable.

D Zeilberger1

  • 1Department of Theoretical Mathematics, The Weizmann Institute of Science, Rehovot, Israel.

Proceedings of the National Academy of Sciences of the United States of America
|July 1, 1981
PubMed
Summary

Sister Celine Fasenmyer's technique provides a formal method for generating recurrence relations for hypergeometric polynomials. This approach allows for the verification of binomial coefficient identities by checking a limited number of specific instances.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

A Markov chain occurring in enzyme kinetics.

Journal of mathematical biology·1982
Same author

Pompeiu's problem on discrete space.

Proceedings of the National Academy of Sciences of the United States of America·1978
See all related articles

Area of Science:

  • Combinatorics
  • Algebraic Combinatorics
  • Special Functions

Background:

  • Hypergeometric polynomials are a significant class of special functions with applications in various mathematical fields.
  • Recurrence relations are fundamental tools for analyzing and manipulating these polynomials.
  • Sister Celine Fasenmyer's technique offers a systematic way to derive such relations.

Purpose of the Study:

  • To formalize Sister Celine Fasenmyer's technique for deriving recurrence relations.
  • To apply this formalized technique to identities involving sums of products of binomial coefficients.
  • To demonstrate a method for verifying these identities through a finite number of special cases.

Main Methods:

  • Formalization of Sister Celine Fasenmyer's method using modern mathematical language.

Related Experiment Videos

  • Application of the formalized technique to derive recurrence relations for specific hypergeometric polynomial identities.
  • Development of a verification strategy based on checking a finite set of special cases.

    • Main Results:

    • A rigorous formalization of Sister Celine Fasenmyer's technique is presented.
    • The technique is successfully applied to prove that identities involving sums of products of binomial coefficients are verifiable via finite case checking.
    • This establishes a powerful tool for identity verification in combinatorics.

    Conclusions:

    • Sister Celine Fasenmyer's technique provides an effective and generalizable method for verifying binomial coefficient identities.
    • The formalization ensures the rigor and applicability of the technique.
    • This work simplifies the process of proving complex combinatorial identities.