A zero-test for D-algebraic transseries

Shaoshi Chen, Hanqian Fang, Joris van der Hoeven

Consider formal power series $f_1,\dots ,f_k\in \mathbb{Q}[[z]]$ that are defined as the solutions of a system of polynomial differential equations together with a sufficient numbe…