fastZeil

MaRDI QIDQ26179swMATHFDO

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

(38)

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

This page was built for software: fastZeil