When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
From MaRDI portal
Publication:651871
DOI10.1016/j.jsc.2011.08.010zbMath1234.13028OpenAlexW1875131895MaRDI QIDQ651871
Wei Pan, François Lemaire, Marc Moreno Maza, Yuzhen Xie
Publication date: 19 December 2011
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2011.08.010
Symbolic computation and algebraic computation (68W30) Polynomials, factorization in commutative rings (13P05) Solving polynomial systems; resultants (13P15)
Related Items (4)
Rational general solutions of higher order algebraic ODEs ⋮ A signature-based algorithm for computing the nondegenerate locus of a polynomial system ⋮ Triangular systems and a generalization of primitive polynomials ⋮ Decomposition of polynomial sets into characteristic pairs
Uses Software
Cites Work
- On the dimension of an arbitrary ascending chain
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- Algorithmic properties of polynomial rings
- Generic Gaussian ideals
- Computing triangular systems and regular systems
- On the theories of triangular sets
- Triangular sets for solving polynomial systems: a comparative implementation of four methods
- Rational simplification modulo a polynomial ideal
- Comprehensive Triangular Decomposition
- On the Contents of Polynomials
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
