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 8 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)
- A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications (Q1973903) (← links)
- On the complexity of the resolvent representation of some prime differential ideals (Q2496182) (← links)
- Computing Chow forms and some applications (Q2765956) (← links)
- Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form (Q2847119) (← links)
- Advances in elimination theory for algebraic differential and difference equations (Q6660312) (← links)
