Pages that link to "Item:Q2958987"
From MaRDI portal
The following pages link to An algorithm for the computation of the radical of an ideal (Q2958987):
Displayed 11 items.
- A decision method for the integrability of differential-algebraic Pfaffian systems (Q895975) (← links)
- Effective uniform bounding in partial differential fields (Q900852) (← links)
- On decomposition of algebraic PDE systems into simple subsystems (Q941643) (← links)
- Complexity of triangular representations of algebraic sets (Q1714872) (← links)
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals (Q3598000) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- Complexity of Membership Problems of Different Types of Polynomial Ideals (Q4556588) (← links)
- Zero Counting and Invariant Sets of Differential Equations (Q5855154) (← links)
- Segre-driven radicality testing (Q6184180) (← links)