Pages that link to "Item:Q5096173"
From MaRDI portal
The following pages link to Membership in polynomial ideals over Q is exponential space complete (Q5096173):
Displayed 10 items.
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- On the parallel complexity of the polynomial ideal membership problem (Q1271168) (← links)
- Complexity of Gröbner basis detection and border basis detection (Q1758159) (← links)
- Practical complexities of probabilistic algorithms for solving Boolean polynomial systems (Q2065761) (← links)
- Fast Gröbner basis computation and polynomial reduction for generic bivariate ideals (Q2280315) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- On polynomial ideals, their complexity, and applications (Q5055880) (← links)
- (Q5089174) (← links)
- Ideal Membership Problem over 3-Element CSPs with Dual Discriminator Polymorphism (Q5096588) (← links)
- The Monomial Ideal Membership Problem and Polynomial Identity Testing (Q5387813) (← links)