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.