Abstract for the talk on 08.02.2023 (14:00 h)

Seminar on Nonlinear Algebra

Bertrand Teguia Tabuguia (MPI MiS, Leipzig)
Some closure properties of D-algebraic functions

We sketch the proofs of the closure properties of D-algebraic functions involved in the duplication formula of the Weierstrass elliptic function. In particular, we show that this formula can be automatically verified.

This is a glimpse of joint work with Rida Ait El Manssour and Anna-Laura Sattelberger.