DI. Philipp Nuspl

Research Area

Difference equations, combinatorics, computer algebra systems

WWW

Software

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. Accompanying files Demo.nb Hints Type ?PositiveSequence for information. The package is developed ...

Authors: Philipp Nuspl

More Software Website

rec_sequences

A SageMath package to work with sequences satisfying linear recurrence equations

The SageMath package rec_sequences provides a framework to work with sequences satisfying linear recurrence equations. It can be used to work with C^2-finite sequences and to show inequalities of C- and D-finite sequences. More documentation can be found at GitHub. ...

Authors: Philipp Nuspl