Note: please use Teguia (or Teguia Tabuguia) if you want to call me by my (last) name. My first name is Bertrand.

I am a (Postdoctoral) Research Associate of James Worrell at the University of Oxford, England. Before that, I held a short Postdoctoral position in the group of Joël Ouaknine at the Max Planck Institute (MPI) for Software Systems, Saarbrücken, Germany. Previously, I was a Postdoctoral Researcher in the Non-Linear Algebra group of Bernd Sturmfels at MPI For Mathematics in the Sciences, Leipzig, Germany.

I have a Ph.D. (Dr. rer. nat.) in Mathematics, in the field of Computer Algebra (2020), a master's degree in Mathematics (2018), and another in Computer Engineering (2016).

Research Interests: my research interests combine Symbolic Computation, Differential Algebra, Computer Programming, Algorithmic Number Theory, Algebraic Geometry, and their applications in other scientific areas.

Check this website menu to learn more about my research and background.

Address:  Wolfson Building, Parks Road, Oxford OX1 3QD

Office: 361


Tel:  +44 (0) 1865 273 843


Download my CV

Bertrand Teguia T. - June 2024

'Magic' in symbolic computing

I invite you to read an informal presentation on computations based on Mathematics and computer programming in Computer Algebra.

1. Formal power series in Maxima 5.44: PDFHtml

2. Formal power series in Maple 2019: PDF

You can try some computations with my Maple library if you wish to:

  Download my implementations at The new FPS package.


  • Talk at the verification seminar at the University of Oxford on June 25, 2024:
    Title: D-algebraic functions and their discrete analog.
    Park Roads, Wolfson Building, Room 051, 11:00 a.m. - 12:00 p.m.
  • Concatenations of Terms of an Arithmetic Progression.
    With Florian Luca. An interesting family of non-holonomic sequences. Submitted.