Abstract
We introduce hypergeometric-type sequences. They are linear combinations of interlaced hypergeometric sequences (of arbitrary interlacements). We prove that they form a subring of the ring of holonomic sequences. An interesting family of sequences in this class are those defined by trigonometric functions with linear arguments in the index and π, such as Chebyshev polynomials, (sin2(nπ/4)⋅cos(nπ/6))n, and compositions like (sin(cos(nπ/3)π))n.We describe an algorithm that computes a hypergeometric-type normal form of a given holonomic nth term whenever it exists. Our implementation enables us to generate several identities for terms defined via trigonometric functions.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
