Suche
Anzeige der Dokumente 1-1 von 1
Dissertation
Power Series Representations of Hypergeometric Type and Non-Holonomic Functions in Computer Algebra
(2020-06-10)
A Laurent-Puiseux series
$$ \sum\limits_{n = n_0}^{\infty }{a_n (z - z_0)^{n/k} (a_n \in K, k \in ℕ, n_0 \in ℤ ) } \quad (1) $$
where $ k $ denotes the corresponding Puiseux number and $ K $ an infinite computable field - mostly $ K= ℚ(α_1,\ldots,α_n) $ : a field of rational functions in several variables, is mainly characterized by the general coefficient. We consider the case where an is a term of an m-fold hypergeometric sequence.
That is $ a_{n+m} = r(n) a_n $ for all sufficiently large integers $ n, r(n) $ ...