2 papers
cs.SC2026
A zero-test for D-algebraic transseries
Shaoshi Chen, Hanqian Fang, Joris van der Hoeven
Consider formal power series that are defined as the solutions of a system of polynomial differential equations together with a sufficient numbe…
math.LO2025
Relative differential closure in Hardy fields
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
We study relative differential closure in the context of Hardy fields. Using our earlier work on algebraic differential equations over Hardy fields, this leads to a proof of a conj…