Bounds for D-algebraic closure properties

Manuel Kauers; Raphaël Pagès

doi:10.1145/3747199.3747552

Bounds for D-algebraic closure properties

Institute for Algebra

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

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.

Original language	English
Title of host publication	ISSAC 2025 - Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation
Subtitle of host publication	International Symposium on Symbolic and Algebraic Computation
Editors	Carlos D'Andrea, Sonia Perez Diaz, Santiago Laplagne
Pages	106-113
Number of pages	8
Edition	1
ISBN (Electronic)	9798400720758
DOIs	https://doi.org/10.1145/3747199.3747552
Publication status	Published - 10 Nov 2025

Fields of science

101005 Computer algebra
101001 Algebra
101 Mathematics
102031 Theoretical computer science
101013 Mathematical logic

JKU Focus areas

Digital Transformation

Access to Document

10.1145/3747199.3747552

Cite this

@inproceedings{3360ca7ad282494f8cf6dadb0012ef9a,

title = "Bounds for D-algebraic closure properties",

abstract = "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.",

author = "Manuel Kauers and Rapha{\"e}l Pag{\`e}s",

year = "2025",

month = nov,

day = "10",

doi = "10.1145/3747199.3747552",

language = "English",

pages = "106--113",

editor = "Carlos D'Andrea and Diaz, \{Sonia Perez\} and Santiago Laplagne",

booktitle = "ISSAC 2025 - Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation",

edition = "1",

}

Bounds for D-algebraic closure properties. / Kauers, Manuel ; Pagès, Raphaël.
ISSAC 2025 - Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation: International Symposium on Symbolic and Algebraic Computation. ed. / Carlos D'Andrea; Sonia Perez Diaz; Santiago Laplagne. 1. ed. 2025. p. 106-113.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Bounds for D-algebraic closure properties

AU - Kauers, Manuel

AU - Pagès, Raphaël

PY - 2025/11/10

Y1 - 2025/11/10

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/105022868710

U2 - 10.1145/3747199.3747552

DO - 10.1145/3747199.3747552

M3 - Conference proceedings

SP - 106

EP - 113

BT - ISSAC 2025 - Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation

A2 - D'Andrea, Carlos

A2 - Diaz, Sonia Perez

A2 - Laplagne, Santiago

ER -

Bounds for D-algebraic closure properties

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Bounds for D-Algebraic Closure Properties

Cite this