Bounds for D-Algebraic Closure Properties
By: Manuel Kauers, Raphael Pages
Potential Business Impact:
Makes math equations for science easier to handle.
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.
Similar Papers
D-algebraic Guessing
Symbolic Computation
Finds math rules from a few numbers.
A unified approach for degree bound estimates of linear differential operators
Symbolic Computation
Finds better math shortcuts for computers.
On deciding transcendence of power series
Number Theory
Lets computers tell if math problems are simple or hard.