Talk
Some closure properties of D-algebraic functions
- Bertrand Teguia Tabuguia (MPI MiS, Leipzig)
Abstract
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.
