Bounds for D-Algebraic Closure Properties
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909607623917568 |
|---|---|
| author | Kauers, Manuel Pages, Raphael |
| author_facet | Kauers, Manuel Pages, Raphael |
| contents | We provide bounds on the size of polynomial differential equations obtained by executing closure properties for D-algebraic functions. While it is easy to obtain bounds on the order of these equations, it requires some more work to derive bounds on their degree. Here we give bounds that apply under some technical condition about the defining differential equations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_07304 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Bounds for D-Algebraic Closure Properties Kauers, Manuel Pages, Raphael Symbolic Computation We provide bounds on the size of polynomial differential equations obtained by executing closure properties for D-algebraic functions. While it is easy to obtain bounds on the order of these equations, it requires some more work to derive bounds on their degree. Here we give bounds that apply under some technical condition about the defining differential equations. |
| title | Bounds for D-Algebraic Closure Properties |
| topic | Symbolic Computation |
| url | https://arxiv.org/abs/2505.07304 |