The following pages link to (Q3416657):
Displaying 26 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)
- Computational schemes for subresultant chains (Q831961) (← 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 the mechanization of straightedge and compass constructions (Q1730306) (← links)
- On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one (Q2066949) (← links)
- Subresultant chains using Bézout matrices (Q2109975) (← links)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- On the uniqueness problem for quadrature domains (Q2231566) (← links)
- Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)
- On approximate triangular decompositions in dimension zero (Q2470055) (← links)
- Change of order for regular chains in positive dimension (Q2476011) (← links)
- Parallelization of triangular decompositions: techniques and implementation (Q2674015) (← 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)
- Comprehensive LU Factors of Polynomial Matrices (Q5014666) (← links)
- Thomas Decomposition and Nonlinear Control Systems (Q5118404) (← links)
- Chordal Networks of Polynomial Ideals (Q5347294) (← links)
