PositiveSequencepackage provides methods to show positivity of C-finite and holonomic sequences.
?PositiveSequencefor 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.