Pages that link to "Item:Q1180154"
From MaRDI portal
The following pages link to The membership problem for unmixed polynomial ideals is solvable in single exponential time (Q1180154):
Displaying 31 items.
- Polly cracker, revisited (Q285245) (← links)
- Using elimination theory to construct rigid matrices (Q475335) (← links)
- Evaluating geometric queries using few arithmetic operations (Q694567) (← links)
- Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures (Q780363) (← links)
- Incomplete Gröbner basis as a preconditioner for polynomial systems (Q1008653) (← links)
- On the index and the order of quasi-regular implicit systems of differential equations (Q1014476) (← links)
- Equations for the projective closure and effective Nullstellensatz (Q1180147) (← links)
- La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra (Q1180161) (← links)
- An effective residual criterion for the membership problem in \(\mathbb{C} [z_ 1,\cdots{} ,z_ n]\) (Q1181467) (← links)
- Verification complexity of linear prime ideals (Q1207526) (← links)
- Finding sparse systems of parameters (Q1328769) (← links)
- A global view of residues in the torus (Q1358903) (← links)
- Polar varieties, real equation solving, and data structures: the hypersurface case (Q1361872) (← links)
- Straight-line programs in geometric elimination theory (Q1380007) (← links)
- Complexity bounds in elimination theory -- a survey. (Q1565824) (← links)
- On the complexity of the real Nullstellensatz in the 0-dimensional case (Q1584040) (← links)
- A Pommaret bases approach to the degree of a polynomial ideal (Q1656829) (← links)
- On the bit complexity of polynomial system solving (Q1734694) (← links)
- Bounds of traces in complete intersections and degrees in the Nullstellensatz (Q1901475) (← links)
- A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
- Deterministic normal position transformation and its applications (Q2006776) (← links)
- Computation of étale cohomology on curves in single exponential time (Q2211019) (← links)
- On the efficiency of effective Nullstellensätze (Q2366723) (← links)
- Bounds for degrees of syzygies of polynomials defining a grade two ideal (Q2674001) (← links)
- Ideal membership in polynomial rings over the integers (Q4461098) (← links)
- Complexity of Membership Problems of Different Types of Polynomial Ideals (Q4556588) (← links)
- Ideal Membership Problem over 3-Element CSPs with Dual Discriminator Polymorphism (Q5096588) (← links)
- (Q5205507) (← links)
- Computing bases of complete intersection rings in Noether position (Q5946450) (← links)
- Computing Circuit Polynomials in the Algebraic Rigidity Matroid (Q6161559) (← links)
- An \(\mathfrak{m}\)-adic algorithm for bivariate Gröbner bases (Q6650574) (← links)
