@inproceedings{chen2026ISSACb,
author = {Chen, Shaoshi and Fang, Hanqian and van der Hoeven, Joris},
title = {A Zero-Test for D-Algebraic Transseries},
year = {2026},
isbn = {9798400725951},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3815436.3815443},
doi = {10.1145/3815436.3815443},
abstract = {Consider formal power series (f_1, ldots , f_k in mathbb {Q} [[z]]) that are defined as the solutions of a system of polynomial differential equations together with a sufficient number of initial conditions. Given (P in mathbb {Q} [F_1, ldots , F_k]), several algorithms have been proposed in order to test whether P(f1, …, fk) = 0. In this paper, we present such an algorithm for the case where f1, …, fk are so-called transseries instead of power series.},
booktitle = {Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation},
pages = {105–113},
numpages = {9},
keywords = {D-algebraic transseries, zero-test, transseries, algorithm, solution},
location = {
},
series = {ISSAC '26}
}