Pages that link to "Item:Q4461098"
From MaRDI portal
The following pages link to Ideal membership in polynomial rings over the integers (Q4461098):
Displaying 27 items.
- Random arithmetic formulas can be reconstructed efficiently (Q488050) (← links)
- Non-zero digits in the expansion of irrational algebraic numbers in an integer base (Q664910) (← links)
- Explicit polynomial bounds on prime ideals in polynomial rings over fields (Q785750) (← links)
- Dynamical Gröbner bases (Q855700) (← links)
- Bounds in polynomial rings over Artinian local rings (Q883126) (← links)
- Effective results for division points on curves in \(\mathbb{G}_m^2\) (Q888178) (← links)
- Easy intruder deduction problems with homomorphisms (Q1045939) (← links)
- Mixed characteristic homological theorems in low degrees. (Q1408110) (← links)
- Difference indices of quasi-prime difference algebraic systems (Q1690775) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over \(\mathbb{Z} [x]\) (Q1725693) (← links)
- On the factorization of iterated polynomials (Q1998690) (← links)
- Finitely generated structures computable in polynomial time (Q2088618) (← links)
- Polynomially computable structures with finitely many generators (Q2213937) (← links)
- Uniform first-order definitions in finitely generated fields (Q2370123) (← links)
- Lefschetz extensions, tight closure and big Cohen-Macaulay algebras (Q2480592) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- Automorphisms mapping a point into a subvariety (Q3173524) (← links)
- Infinite finitely generated fields are biinterpretable with ℕ (Q3577298) (← links)
- Effective Results for Discriminant Equations over Finitely Generated Integral Domains (Q4581328) (← links)
- Effective results for unit equations over finitely generated integral domains (Q4911185) (← links)
- Model theory of proalgebraic groups (Q4963643) (← links)
- Nullstellensatz via Nonstandard Methods (Q5038216) (← links)
- Effective results for unit points on curves over finitely generated domains (Q5360309) (← links)
- Height bounds, nullstellensatz and primality (Q5376010) (← links)
- Reduction Mod <i>p</i> of Standard Bases (Q5462877) (← links)
- Analytic nullstellensätze and the model theory of valued fields (Q6606930) (← links)
