Decision problems for second-order holonomic recurrences

DOI10.4230/LIPICS.ICALP.2021.99MaRDI QIDQ7241199zbMATH OpenFDO

Authors Eike Neumann, Joël Ouaknine, James Worrell

Publication date 12 May 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2021.99

zbMATH Keywords

holonomic sequencespositivity problemSkolem problem

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A holonomic systems approach to special functions identities
• A procedure for proving special function inequalities involving a discrete parameter
• An efficient procedure deciding positivity for a class of holonomic functions
• Differentiably finite power series
• scientific article; zbMATH DE number 1687034 (Why is no real title available?)
• On the set of zero coefficients of a function satisfying a linear differential equation
• Positivity problems for low-order linear recurrence sequences
• Termination conditions for positivity proving procedures
• When can we detect that a P-finite sequence is positive?

Cited in

(1)

• Deciding robust instances of an escape problem for dynamical systems in Euclidean space

This page was built for publication: Decision problems for second-order holonomic recurrences

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