The following pages link to (Q3416657):
Displayed 14 items.
- RegularChains (Q13544) (← links)
- Model reduction of chemical reaction systems using elimination (Q359898) (← links)
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple} (Q540337) (← links)
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case (Q630689) (← links)
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)? (Q651871) (← links)
- Algebraic transformation of differential characteristic decompositions from one ranking to another (Q1008569) (← links)
- Fast arithmetic for triangular sets: from theory to practice (Q1025397) (← links)
- On approximate triangular decompositions in dimension zero (Q2470055) (← links)
- Change of order for regular chains in positive dimension (Q2476011) (← links)
- Inversion Modulo Zero-Dimensional Regular Chains (Q2915000) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Thomas Decomposition of Algebraic and Differential Systems (Q3589061) (← links)
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits (Q3599193) (← links)