Dynamical sequences: closure properties and automatic identity proving

Jason P. Bell, Yuxuan Sun

Given an algebraically closed field $K$, a dynamical sequence over $K$ is a $K$-valued sequence of the form $a(n):=f({\varphi }^n(x_0))$, where $\varphi :X\to X$ and $f\colon X\to\mathbb{A}…