Timeline for Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 27, 2013 at 19:36 | vote | accept | Marc Nieper-Wißkirchen | ||
| Dec 27, 2013 at 16:16 | comment | added | Michael Bächtold | Somewhat related but probably harder: mathoverflow.net/questions/47657 | |
| Dec 27, 2013 at 14:23 | answer | added | Will Sawin | timeline score: 5 | |
| Dec 26, 2013 at 6:48 | comment | added | Marc Nieper-Wißkirchen | The ring $\Omega$ is super-commutative; the generators $x_i$ are of degree $0$, the generators $dx_i$ are of degree $1$. There is just one differential operator, the derivative $d$ of degree $1$, which fulfills $d \circ d = 0$, that is $d(dx_i) = 0$. | |
| Dec 25, 2013 at 16:06 | comment | added | Will Sawin | What is $D(dx_1)$? | |
| Dec 21, 2013 at 9:43 | history | asked | Marc Nieper-Wißkirchen | CC BY-SA 3.0 |