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.

Short Description

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

Author

Accompanying files

Hints

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).

Literature

  • P. Nuspl, V. Pillwein, A comparison of algorithms for proving positivity of linearly recurrent sequences, [RISC report 22-05].