TY - RPRT TI - The fundamental theorem of tropical differential algebra for formal Puiseux series AU - Sebastian Falkensteiner AU - Stefano Mereta PY - 2023 UR - https://arxiv.org/abs/2312.10036 ID - 2312.10036 ER -