A comparison of algorithms for proving positivity of linearly recurrent sequences
type: Item
instance of: scholarly article
title: A comparison of algorithms for proving positivity of linearly recurrent sequences
DOI: 10.1007/978-3-031-14788-3_15
author: Philipp Nuspl
author: Veronika Pillwein
publication date: 2022-12-21T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7635703
zbMATH Keywords: difference equations
zbMATH Keywords: inequalities
zbMATH Keywords: holonomic sequences
describes a project that uses: QEPCAD
describes a project that uses: GeneratingFunctions
describes a project that uses: SageMath
describes a project that uses: SumCracker
describes a project that uses: OEIS
describes a project that uses: Arb
describes a project that uses: Digital Library of Mathematical Functions
MaRDI profile type: Publication
full work available at URL: 978-3-031-14788-3 15
OpenAlex ID: W4299831618
cites work: Algorithms in real algebraic geometry
cites work: QEPCAD B
cites work: Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
cites work: Q4079605
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Q4421931
cites work: A procedure for proving special function inequalities involving a discrete parameter
cites work: Effective asymptotics of linear recurrences with rational coefficients
cites work: Positivity of second order linear recurrent sequences
cites work: Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
cites work: SumCracker: A package for manipulating symbolic sums and related objects
cites work: Bounds for D-finite closure properties
cites work: Integral D-finite functions
cites work: Ore Polynomials in Sage
cites work: The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
cites work: When can we detect that a P-finite sequence is positive?
cites work: Positivity of third order linear recurrence sequences
cites work: Q3671245
cites work: Positivity Problems for Low-Order Linear Recurrence Sequences
cites work: Positivity of certain sums over Jacobi kernel polynomials
cites work: Termination conditions for positivity proving procedures
cites work: On the positivity of the Gillis-Reznick-Zeilberger rational function
cites work: Q4236280
cites work: Q5149828
cites work: Occurrence of zero in a linear recursive sequence
cites work: Q4227278
description: scientific article; zbMATH DE number 7635703