Pages that link to "Item:Q895970"
From MaRDI portal
The following pages link to Computation of differential Chow forms for ordinary prime differential ideals (Q895970):
Displaying 5 items.
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Computing Chow Forms and Some Applications (Q2765956) (← links)
- Advances in elimination theory for algebraic differential and difference equations (Q6660312) (← links)