Dr. Bertrand Teguia Tabuguia, Ph.D.

Service

1. Springer (monographs in mathematics)
2. Conference: Computer Algebra in Scientific Computing (CASC)
3. Maple Transactions
   
4. ISSAC
5. Journal of Symbolic Computation
6. ...

Scientific visits

1. Max Planck Institute for Software System, Saarbrücken, May 09-13, 2022: Visiting the Foundations of Algorithmic Verification Research group of Prof. Dr. Joël Ouaknine. Discussions on Linear Recurrence Sequences.

2. RWTH Aachen University: meeting with Prof. Dr. Daniel Robertz, Chair of Algebra and Representation Theory. Discussions on Differential Algebra.
   

Interesting reads

Virtues of priority, by Michael Harris

Not too much on the technical part but rather on what constitutes a significant (actually major) contribution to mathematical thinking, and how to assess priority.

                                                     -- Recommended by Late Prof. Marco Garuti.

Responsible Science: Ensuring the Integrity of the Research Process. Volume I

Philosophy and Being

1. Within Reason (Alex O'Connor)
2. Reasonable faith (William Lane Craig)
3. Jordan B Peterson
4. etc.

Coding (fun)

One of the great coding exercises I enjoyed solving was the 0-1 sequences problem from Kattis. My (2018 or 2019) python solution could not be fast enough if I did not write the problem mathematically.

As usual, "it is not just about writing a code that works, but rather one that efficiently does so."

PS: Although I am among the 1633 accepted authors (over 14914 submissions in August 2022), my solution is not among the ten best python solutions.

'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: PDF,  Html

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.

GitHub account

I am trying to use my github account more often now...

Visit T3gu1a

Game