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 31 items.
- (Q5089174) (← links)
- (Q5090939) (← links)
- Membership in polynomial ideals over Q is exponential space complete (Q5096173) (← links)
- Ideal Membership Problem over 3-Element CSPs with Dual Discriminator Polymorphism (Q5096588) (← links)
- Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations (Q5103757) (← links)
- (Q5121898) (← links)
- ON COMPLEXITY OF THE SATISFIABILITY PROBLEM OF SYSTEMS OVER FINITE POSETS (Q5151206) (← links)
- DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS (Q5151271) (← links)
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application (Q5166771) (← links)
- On polynomial vector fields having a given affine variety as attractive and invariant set: application to robotics (Q5266191) (← links)
- Linear syzygies, hyperbolic Coxeter groups and regularity (Q5377191) (← links)
- The Monomial Ideal Membership Problem and Polynomial Identity Testing (Q5387813) (← links)
- Notes on regularity stabilization (Q5389383) (← links)
- An Upper Bound for the Regularity of Ideals of Borel Type (Q5456515) (← links)
- An optimal algorithm for constructing the reduced Gröbner basis of binomial ideals, and applications to commutative semigroups (Q5928894) (← links)
- Counting and Gröbner bases (Q5929708) (← links)
- Solution of a conjecture of C. Berenstein - A. Yger and invariants of contact at infinity (Q5936665) (← links)
- Computing bases of complete intersection rings in Noether position (Q5946450) (← links)
- On computing absolutely irreducible components of algebraic varieties with parameters (Q5962004) (← links)
- Conormal spaces and Whitney stratifications (Q6072329) (← links)
- Syzygies over a polynomial ring (Q6119680) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)
- \texttt{tapir}: a tool for topologies, amplitudes, partial fraction decomposition and input for reductions (Q6155468) (← links)
- Counting roots for polynomials modulo prime powers (Q6165864) (← links)
- Segre-driven radicality testing (Q6184180) (← links)
- Short proofs of ideal membership (Q6543081) (← links)
- On minor left prime factorization problem for multivariate polynomial matrices (Q6595027) (← links)
- A single exponential time algorithm for homogeneous regular sequence tests (Q6601873) (← links)
- On the complexity of reasoning in Kleene algebra with commutativity conditions (Q6605343) (← links)
- The complexity of soundness in workflow nets (Q6649450) (← links)
- The complexity of bidirected reachability in valence systems (Q6649456) (← links)
