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 6 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)
- 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)
- The Monomial Ideal Membership Problem and Polynomial Identity Testing (Q5387813) (← links)