When can we detect that a P-finite sequence is positive?
From MaRDI portal
Publication:2946538
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
Related Items
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
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
