**PositiveSequence**: A Mathematica package for showing positivity of univariate C-finite and holonomic sequences ================================================================================================================= This package is part of the |PACKAGE_NAME| bundle. See :ref:`Download`. Short Description ----------------- The ``PositiveSequence`` package provides methods to show positivity of C-finite and holonomic sequences. Author ------ * `Philipp Nuspl`_ Accompanying files ------------------ * `Demo.nb `_ 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] `_. .. _Philipp Nuspl: https://www.dk-compmath.jku.at/people/philipp-nuspl .. _Positivity C-finite sequences: https://www.risc.jku.at/people/pnuspl/PositivityCFinite/