fastZeil

swMATH14275MaRDI QIDQ26179FDOQ26179

Author name not available (Why is that?)

Official website: http://www.risc.jku.at/research/combinat/software/ergosum/RISC/fastZeil.html

Described by source

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

Cited In (35)

• NestedProducts
• Aligator: A Mathematica Package for Invariant Generation (System Description)
• MultipleZetaValues
• gfun
• HYPERG
• qMultiSum
• qZeil
• NewZeil.m
• recpf
• SIGMA
• MultiZeilberger
• ContMarkovWZ
• EvaluateMultiSums
• MarkovWZ
• MarkovAZ
• qZEILBERGER
• ROBBINS
• ZEILBERGER
• Dependencies
• HypergeometricSum
• GeneratingFunctions
• MultiSum
• pqTelescope
• qGeneratingFunctions
• Telescopers
• DET
• SumTools
• DEtools
• qTSPP
• CFSum
• RatDiff
• RhoSum
• Invariant Generation for P-Solvable Loops with Assignments
• A complete invariant generation approach for P-solvable loops
• Reasoning Algebraically About P-Solvable Loops

This page was built for software: fastZeil