Pages that link to "Item:Q895970"

The following pages link to Computation of differential Chow forms for ordinary prime differential ideals (Q895970):

Displaying 3 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)