Philipp Nuspl

Contact

Publications

• C-finite and C^2-finite sequences in SageMath, accepted Software Presentation at ISSAC 2022 (2022) (preprint)
• with V. Pillwein: A comparison of algorithms for proving positivity of linearly recurrent sequences, accepted at CASC 2022 (2022) (preprint)
• with V. Pillwein: Simple C^2 -finite Sequences: a Computable Generalization of C-finite Sequences, accepted at ISSAC 2022 (2022) (preprint)
• with A. Jiménez-Pastor and V. Pillwein: An extension of holonomic seqences: C^2-finite sequences, accepted by JSC (2021) (preprint)
• with A. Jiménez-Pastor and V. Pillwein: On C^2-finite sequences, Proceedings of ISSAC'21, pp. 217-224 (2021) (preprint)
• Solving a fixed number of equations over finite groups. Algebra Univers. 82, 12 (2021) (pdf)

Software

• 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. The package can be obtained from Github. The documentation is available here.
• The Mathematica package PositiveSequence can be used to show inequalities of C- and D-finite sequences. It is part of the RISCErgoSum collection of packages. The source code is available on Github.

Short Curriculum Vitae