fastZeil

swMATH14275MaRDI QIDQ26179FDOQ26179

Author name not available (Why is that?)

Described by source

• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities

Cited In (4)

• Aligator: A Mathematica Package for Invariant Generation (System Description)
• A Complete Invariant Generation Approach for P-solvable Loops
• Invariant Generation for P-Solvable Loops with Assignments
• Reasoning Algebraically About P-Solvable Loops

This page was built for software: fastZeil