A comparison of algorithms for proving positivity of linearly recurrent sequences

DOI10.1007/978-3-031-14788-3_15OpenAlexW4299831618MaRDI QIDQ2109988FDOQ2109988

Authors: Philipp Nuspl, Veronika Pillwein 

Publication date: 21 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-14788-3_15

zbMATH Keywords

inequalitiesdifference equationsholonomic sequences

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• SumCracker: A package for manipulating symbolic sums and related objects
• QEPCAD B
• Ore polynomials in Sage
• Title not available (Why is that?)
• Partial cylindrical algebraic decomposition for quantifier elimination
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• When can we detect that a P-finite sequence is positive?
• Termination conditions for positivity proving procedures
• A procedure for proving special function inequalities involving a discrete parameter
• Algorithms in real algebraic geometry
• Positivity of certain sums over Jacobi kernel polynomials
• Title not available (Why is that?)
• Title not available (Why is that?)
• Positivity problems for low-order linear recurrence sequences
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• Occurrence of zero in a linear recursive sequence
• Title not available (Why is that?)
• On the positivity of the Gillis-Reznick-Zeilberger rational function
• Positivity of second order linear recurrent sequences
• Positivity of third order linear recurrence sequences
• Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
• Effective asymptotics of linear recurrences with rational coefficients
• Title not available (Why is that?)
• Integral D-finite functions
• Bounds for D-finite closure properties
• On proving inequalities by cylindrical algebraic decomposition

Cited In (2)

• An algorithm for proving arbitrary identities involving linear recurrence sequences
• Order bounds for C2-finite sequences

Uses Software

• Digital Library of Mathematical Functions
• QEPCAD
• SageMath
• SumCracker
• OEIS
• Arb
• GeneratingFunctions

This page was built for publication: A comparison of algorithms for proving positivity of linearly recurrent sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2109988)