A Mathematica package for showing positivity of univariate C-finite and holonomic sequences


Software URL

Go to Website
This package is part of the RISCErgoSum bundle. See Download and Installation.

Short Description

The PositiveSequence package provides methods to show positivity of C-finite and holonomic sequences.

Accompanying files


Type ?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.