Ph.D. (Dr. rer. nat.) in Mathematics, Computer Algebra, from August 2018 - Mai 2020, University of Kassel, Germany.
I worked under the supervision of Prof. Dr. Wolfram Koepf.
I give below brief details of my major results.
1. An algorithm, say mfoldHyper, that computes bases of the subspaces of all m-fold (m being a positive integer) hypergeometric term solutions of holonomic recurrence equations. This algorithm is new, and it has the advantage to linearize the computation of Laurent-Puiseux series: every linear combination of hypergeometric type series, even for many different values of m, is detected.
2. An algorithm that computes normal form representations for non-holonomic functions. A very important consequence of this algorithm is its ability to prove difficult identities.
3. A variant of van Hoeij's algorithm for computing hypergeometric term solutions of holonomic recurrence equations. Following the main steps of van Hoeij's algorithm, our variant computes hypergeometric term solutions of holonomic recurrence equations as fast as the original algorithm while using other methods. This algorithm is an integral part of mfoldHyper mentioned in 1.. Download this algorithm here (latest update: 01/10/2020).
PS: papers related to these achievements will soon be available.
The thesis is available at meine Dissertation.