All Questions

We know that in the ordinary algebra ideal case, the ideal membership problem can be solved by the Grobner Base theory, then, is there a counterpart theory in the differential ideal case? To be ...

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