Pages that link to "Item:Q1836661"
From MaRDI portal
The following pages link to The complexity of the word problems for commutative semigroups and polynomial ideals (Q1836661):
Displaying 50 items.
- Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable (Q2317836) (← links)
- Linearization of resolutions via products (Q2318375) (← links)
- On the complexity of the \(F_5\) Gröbner basis algorithm (Q2343240) (← links)
- Global effective versions of the Briançon-Skoda-Huneke theorem (Q2346753) (← links)
- Multilevel polynomial partitions and simplified range searching (Q2354673) (← links)
- Algorithmic aspects of Suslin's proof of Serre's conjecture (Q2366722) (← links)
- Weak Bézout inequality for D-modules (Q2387420) (← links)
- A factorization algorithm for \(G\)-algebras and its applications (Q2409016) (← links)
- Alternatives for testing total dual integrality (Q2429472) (← links)
- Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials (Q2456589) (← links)
- Bounds for the Castelnuovo-Mumford regularity of modules (Q2463375) (← links)
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets (Q2489141) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- Regularity of prime ideals (Q2633072) (← links)
- Effective Bezout identities in \({\mathbb{Q}}[z_ 1,\dots ,z_ n]\) (Q2644804) (← links)
- The regularity conjecture for prime ideals in polynomial rings (Q2656616) (← links)
- Generalized typical dimension of a graded module (Q2673107) (← links)
- Population protocols: beyond runtime analysis (Q2695486) (← links)
- Symbolic Computation and Complexity Theory Transcript of My Talk (Q2799547) (← links)
- Three themes of syzygies (Q2810913) (← links)
- Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
- A logspace solution to the word and conjugacy problem of generalized Baumslag-Solitar groups (Q2975255) (← links)
- Synthesis and Analysis of Product-Form Petri Nets (Q3011895) (← links)
- Double-exponential lower bound for the degree of any system of generators of a polynomial prime ideal (Q3079283) (← links)
- The degree of a tropical basis (Q3130817) (← links)
- Counterexamples to the Eisenbud–Goto regularity conjecture (Q3133832) (← links)
- IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE (Q3188334) (← links)
- Computational aspects of the coordinate ring of an algebraic variety (Q3203128) (← links)
- Gröbner Bases in D-Modules: Application to Bernstein-Sato Polynomials (Q3294887) (← links)
- Large flocks of small birds: on the minimal size of population protocols (Q3304110) (← links)
- Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 (Q3478380) (← links)
- Residue currents with prescribed annihilator ideals (Q3507412) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- Classifying the computational complexity of problems (Q3781088) (← links)
- Fast Parallel Computation of Hermite and Smith Forms of Polynomial Matrices (Q3802506) (← links)
- Varieties of Commutative Semigroups (Q4292747) (← links)
- Ideal membership in polynomial rings over the integers (Q4461098) (← links)
- Complexity of Membership Problems of Different Types of Polynomial Ideals (Q4556588) (← links)
- On the Effective Membership Problem for Polynomial Ideals (Q4562591) (← links)
- An Effective Uniform Artin–Rees Lemma (Q4562606) (← links)
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722) (← links)
- Regularity of structure sheaves of varieties with isolated singularities (Q5002166) (← links)
- Linearly presented modules and bounds on the Castelnuovo-Mumford regularity of ideals (Q5027183) (← links)
- Subadditivity of Syzygies of Ideals and Related Problems (Q5051889) (← links)
- Regularity Bounds by Projection (Q5051894) (← links)
- On polynomial ideals, their complexity, and applications (Q5055880) (← links)
- The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups (Q5055940) (← links)
