PositiveSequence

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

Authors

Philipp Nuspl

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

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.