Introduction
I recently completed my Ph.D. in Mathematics, in the field of Computer Algebra at the University of Kassel, some details are given below. I have obtained a master's degree in Mathematics at the African Institute for Mathematical Sciences (AIMS) - Cameroon in 2018, and another in Computer engineering at Ecole Nationale Supérieure Polytechnique (ENSP) de Yaoundé in 2016.
Address: University of Kassel, Germany. Heinrich-Plett-Str.40. 34132 Kassel
Email: bertrand.teguia@aims-cameroon.org / uk067185@uni-kassel.de
Tel: +49 1521 2117745 / +237 676915434
Power Series Representations of Hypergeometric Type and Non-Holonomic Functions in Computer Algebra
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..
PS: papers related to these achievements will soon be available.
Maxima implementations
Maxima is a free computer algebra system (CAS). I use it for most of my symbolic computations. In particular, Maxima was the CAS used during my Ph.D. work.
The pictures present some outputs obtained with my Ph.D. algorithms.
Power series computed thanks to mfoldHyper
Non-trivial zero equivalence identified
Teaching Assistant
AIMS-Cameroon, March 1st - May 31st, 2019.
Tutoring students in mathematical sciences at the African Institute for Mathematical Sciences (AIMS) of Cameroon, Limbe.
Workshops
TU Braunschweig, Germany, June 7-8, 2019
Papers
On rational approximations to pi+e, May 2020 (the fun during my quarantine time): what rationals approximate pi and pi + e best? Maxima code
Observation on the distribution of Prime numbers, May 2019 (appeared): Primes and Randomness
Game
P&C Game, a game inspired by mathematics, April 2019: Play P&C Game online. Documentation.
Where am I from?
I got a master's degree in computer engineering at Ecole Nationale Superieure Polytechnique (ENSP) de Yaoundé, Cameroun. When I was a student in that school, I was always doing my best to stay close to mathematics. I have then been introduced to Computer Algebra in level 4 for a pre-engineering internship, and I did my master thesis in advanced statistics where I wrote an algorithm for forests dynamic. My stay with pure mathematics books and friends made me known as a pure mathematician computer engineer, and from my mathematician lecturers, I had enough support to go to AIMS-Cameroon where I could pursue my dream. I indeed performed well at AIMS and got my Ph.D. opportunity...