# Questions tagged [differential-algebra]

The tag has no usage guidance.

33 questions
Filter by
Sorted by
Tagged with
100 views

### How can Gröbner bases be generalized to differential algebra?

I'm aware of the Rosenfeld-Gröbner algorithm "for computing a regular decomposition of a radical differential ideal generated by a set of polynomial differential equations, ordinary or with ...
76 views

### Is there a bound on the number of connected components of a zero set of an integrable function?

If $f$ is a real-analytic function on $[0,1]^n$, and $f$ has finite differential transcendence degree, is there some way to bound the number of connected components of its zero set or the set where it ...
208 views

### The combinatorics of $(f \partial)^n$ in the noncommutative setting?

This is a noncommutative version of these three previous questions: differential operator power coefficients Сlosed formula for $(g\partial)^n$ A Leibniz-like formula for $(f(x) \frac{d}{dx})^n f(x)$? ...
• 5,763
1k views

• 2,221
190 views

### Factorisation of twisted polynomials

Let $K=\mathbb{C}((t))$ and let $K_m=\mathbb{C}((t^{1/m}))$. let $K\{x\}$ denote the ring of twisted polynomials. The addition in this ring is defined as usual, but the multiplication is adjusted by ...
• 2,221
197 views

• 11
305 views

### Can it be decided whether $\int\root 3 \of{\cos^2(t)}\,dt$ is expressible by elementary functions? [closed]

I would like to decide by methods of Differential Algebra whether the integral $\int\root 3 \of{\cos^2(t)}\,dt$ contrary to the output of CAS Mathematica Online Integrator might be expressible by ...
385 views

### Decidability of differential equations

Is there anything well-known about the algorithmic decidability of the satisfiability of an ODE $\dot{x}=f(x)$, $x: [0,1]\to R^n$ with an initial condition $x(0)=x_0$, given that $f(x)$ belongs to ...
• 962