I will present work in progress showing how to prove some cases of the Ax—Lindemann—Weierstrass theorem via transseries computations. I will also show how the same approach works to prove an analogous statement for the Gamma function.
I will present work in progress showing how to prove some cases of the Ax—Lindemann—Weierstrass theorem via transseries computations. I will also show how the same approach works to prove an analogous statement for the Gamma function.