Cover Image

A zero-test for D-algebraic transseries

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Shaoshi, Fang, Hanqian, van der Hoeven, Joris
Format:	Preprint
Published:	2026
Subjects:	Symbolic Computation 68W30, 34A09, 34A12
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
by: Huang, Bo, et al.
Published: (2024)

Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)

Algebraic solutions of linear differential equations: an arithmetic approach
by: Bostan, Alin, et al.
Published: (2023)

Integer multiplication is at least as hard as matrix transposition
by: Harvey, David, et al.
Published: (2025)

D-Algebraic Functions
by: Manssour, Rida Ait El, et al.
Published: (2023)

The common ground of DAE approaches. An overview of diverse DAE frameworks emphasizing their commonalities
by: Schwarz, Diana Estévez, et al.
Published: (2024)

Regular linear time varying DAEs are equivalent to DAEs in strong standard canonical form
by: Schwarz, Diana Estévez, et al.
Published: (2025)

Computing standard canonical forms of regular linear time varying DAEs via a preliminary stage
by: Schwarz, Diana Estévez, et al.
Published: (2025)

Rational Solutions of Parametric First-Order Algebraic Differential Equations
by: Falkensteiner, Sebastian, et al.
Published: (2023)

Arithmetic of D-Algebraic Functions
by: Tabuguia, Bertrand Teguia
Published: (2023)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
by: Demin, Alexander, et al.
Published: (2025)

Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups
by: Anokhin, Mikhail
Published: (2025)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Criterion of the global solvability of regular and singular differential-algebraic equations
by: Filipkovska, Maria
Published: (2024)

Computing the Lie algebra of the differential Galois group: the reducible case
by: Dreyfus, Thomas, et al.
Published: (2019)

A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2026)

An Exact Algorithm for Computing the Structure of Jordan Blocks
by: Tajima, Shinichi, et al.
Published: (2025)

An Alternate Method for Finding Particular Solutions of Nonhomegeneous Differential Equations
by: Djrbashian, Ashot, et al.
Published: (2025)

Qualitative analysis of nonregular differential-algebraic equations and the dynamics of gas networks
by: Filipkovska, Maria
Published: (2023)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

Conditions for uniform $h$--dichotomy in terms of uniform non criticality, expansiveness and via generalized Floquet theory
by: Elorreaga, Heli, et al.
Published: (2026)

An Effective Version of the $p$-Curvature Conjecture for Order One Differential Equations
by: Fürnsinn, Florian, et al.
Published: (2025)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

Uniform $h$-dichotomies: noncritical uniformity and expansivity
by: Elorreaga, Heli, et al.
Published: (2024)

All elementary functions from a single binary operator
by: Odrzywołek, Andrzej
Published: (2026)

Existence and qualitative behavior of solutions of abstract differential-algebraic equations
by: Filipkovska, Maria
Published: (2025)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
by: Tajima, Shinichi, et al.
Published: (2022)

Reduction systems and degree bounds for integration
by: Du, Hao, et al.
Published: (2024)

On the configurations of four spheres supporting the vertices of a tetrahedron
by: Longinetti, Marco, et al.
Published: (2024)

On the kernel of the Stieltjes derivative and the space of bounded Stieltjes-differentiable functions
by: Fernández, Francisco J., et al.
Published: (2025)

A fixed point approach for finding approximate solutions to second order non-instantaneous impulsive abstract differential equations
by: Ansari, Shahin, et al.
Published: (2023)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

First steps towards Computational Polynomials in Lean
by: Davenport, James Harold
Published: (2024)

Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)

Transforming Radical Differential Equations to Algebraic Differential Equations
by: Falkensteiner, Sebastian, et al.
Published: (2021)

Infinite matroids in tropical differential algebra
by: Aroca, F., et al.
Published: (2023)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)

Global Existence and Mass Decay Analysis of solutions to the discrete Redner-Ben-Avraham-Kahng coagulation model
by: Verma, Pratibha
Published: (2023)