holonomic sequences

Dynamical Systems and Program Analysis
James (Ben) Worrell gave a keynote talk on algorithmic analysis of dynamical systems at the 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021). During his talk, Ben presented some of our ongoing work on inequality decision problems for low-order holonomic sequences (see here).
Apr 6, 2022 2 min read
Dynamical Systems and Program Analysis
On minimality and positivity for second-order holonomic sequences
Slides on minimality and positivity for second-order holonomic sequences. Variations given at Mathematical Foundations of Computer Science 2021 (MFCS, Tallinn), the joint Forsyte (TU Wien) and Institute of Science & Technology Seminar, and the Open University Dynamical Systems Seminar.
Oct 1, 2021 1 min read
On minimality and positivity for second-order holonomic sequences
On Positivity and Minimality for Second-Order Holonomic Sequences
An infinite sequence $\langle u_n \rangle$ of real numbers is holonomic if it satisfies a linear recurrence relation with polynomial …
G. Kenison, O. Klurman, E. Lefaucheux, F. Luca, P. Moree, J. Ouaknine, M. A. Whiteland, J. Worrell
PDF Cite DOI dagstuhl
On Inequality Decision Problems for Low-Order Holonomic Sequences

An infinite sequence $\langle u_n \rangle$ of real numbers is holonomic if it satisfies a linear recurrence relation with polynomial …
G. Kenison, O. Klurman, E. Lefaucheux, F. Luca, P. Moree, J. Ouaknine, M. A. Whiteland, J. Worrell
PDF Cite
Holonomic techniques, periods, and decision problems
Joël Ouaknine gave an invited talk on holonomic techniques, periods, and decision problems at Foundations of Software Technology and Theoretical Computer Science conference (FSTTCS 2020). During his talk Joël presented some of our ongoing work on inequality decision problems for low-order holonomic sequences (see here).
Dec 4, 2020 1 min read
Holonomic techniques, periods, and decision problems