Pages that link to "Item:Q1758177"
From MaRDI portal
The following pages link to Nonstandard methods for bounds in differential polynomial rings (Q1758177):
Displaying 9 items.
- Explicit polynomial bounds on prime ideals in polynomial rings over fields (Q785750) (← links)
- Bounds in the theory of polynomial rings over fields. A nonstandard approach (Q793791) (← links)
- Computation of differential Chow forms for ordinary prime differential ideals (Q895970) (← links)
- New effective differential Nullstellensatz (Q908094) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- On the model companion of partial differential fields with an automorphism (Q2630875) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- Model theory of differential fields with finite group actions (Q5081952) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)