When can we detect that a P-finite sequence is positive?

DOI10.1145/1837934.1837974zbMath1321.68535OpenAlexW1969656981MaRDI QIDQ2946538

Manuel Kauers, Veronika Pillwein

Publication date: 17 September 2015

Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.4783

zbMATH Keywords

positivitycylindrical decompositionP-finite sequences

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Recurrences (11B37)

Related Items (9)

Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes ⋮ Martin boundary of killed random walks on isoradial graphs ⋮ The Membership Problem for Hypergeometric Sequences with Quadratic Parameters ⋮ Analyzing ultimate positivity for solvable systems ⋮ Computing error bounds for asymptotic expansions of regular P-recursive sequences ⋮ Closed form solutions of linear difference equations in terms of symmetric products ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences ⋮ An efficient procedure deciding positivity for a class of holonomic functions ⋮ A hypergeometric inequality

Uses Software

• DIFFALG
• AIDA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Smooth and algebraic invariants of a group action: Local and global constructions
• Differential invariants of a Lie group action: syzygies on a generating set
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces

This page was built for publication: When can we detect that a P-finite sequence is positive?