Pages that link to "Item:Q4274103"
From MaRDI portal
The following pages link to Length of Polynomial Ascending Chains and Primitive Recursiveness. (Q4274103):
Displaying 14 items.
- Effective uniform bounding in partial differential fields (Q900852) (← links)
- On bounds for the effective differential Nullstellensatz (Q907329) (← links)
- Trajectories of polynomial vector fields and ascending chains of polynomial ideals (Q1288648) (← links)
- Noetherianity and Specht problem for varieties of bicommutative algebras (Q1703114) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- A bound for orders in differential Nullstellensatz (Q2267443) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- On the lengths of bad sequences of monomial ideals over polynomial rings (Q3112375) (← links)
- Ideal membership in polynomial rings over the integers (Q4461098) (← links)
- Ascending chains of ideals in the polynomial ring (Q5099835) (← links)
- Estimates for the coefficients of differential dimension polynomials (Q5226667) (← links)
- Tropical noetherity and Gröbner bases (Q5501092) (← links)
- A topological method for finding invariant sets of continuous systems (Q5925511) (← links)
- Well partial orders (Q6612816) (← links)