Pages that link to "Item:Q5937882"
From MaRDI portal
The following pages link to Unmixed-dimensional decomposition of a finitely generated perfect differential ideal (Q5937882):
Displaying 22 items.
- Characteristic set algorithms for equation solving in finite fields (Q413410) (← links)
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- A criterion for testing whether a difference ideal is prime (Q473046) (← links)
- Differential algebra for derivations with nontrivial commutation rules (Q557066) (← links)
- A bound for the Rosenfeld-Gröbner algorithm (Q928772) (← links)
- Properties of regular systems and algorithmic improvements for regular decomposition (Q971615) (← links)
- Probabilistic algorithms for computing resolvent representations of regular differential ideals (Q985372) (← links)
- A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
- Computing representations for radicals of finitely generated differential ideals (Q1015366) (← links)
- Characteristic set method for differential-difference polynomial systems (Q1030248) (← links)
- Computing differential characteristic sets by change of ordering (Q1034554) (← links)
- Binomial difference ideals (Q1711993) (← links)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- An equivalence theorem for regular differential chains (Q1733300) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- A bound for orders in differential Nullstellensatz (Q2267443) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- An algorithm for decomposing a polynomial system into normal ascending sets (Q2464308) (← links)
- Thomas Decomposition of Algebraic and Differential Systems (Q3589061) (← links)
- An Algorithm for Transforming Regular Chain into Normal Chain (Q3597999) (← links)
- Sparse difference resultant (Q5891997) (← links)