PositiveSequence: A Mathematica package for showing positivity of univariate C-finite and holonomic sequences¶
This package is part of the RISCErgoSum bundle. See Download and Installation.
PositiveSequence package provides methods to show positivity of C-finite and holonomic sequences.
?PositiveSequence for information. The package is
developed for Mathematica 12 and might not run properly on earlier
versions. The source code can be found on the website accompanying the paper (Positivity C-finite sequences).
P. Nuspl, V. Pillwein, A comparison of algorithms for proving positivity of linearly recurrent sequences, [RISC report 22-05].