Pages that link to "Item:Q1711923"
From MaRDI portal
The following pages link to Proof mining and effective bounds in differential polynomial rings (Q1711923):
Displaying 6 items.
- Explicit polynomial bounds on prime ideals in polynomial rings over fields (Q785750) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces (Q5067638) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)
- A computational study of a class of recursive inequalities (Q6091634) (← links)
