Triangular decomposition of semi-algebraic systems
From MaRDI portal
Publication:5892166
DOI10.1145/1837934.1837972zbMath1321.68526OpenAlexW1903368241MaRDI QIDQ5892166
Changbo Chen, Rong Xiao, John P. May, Marc Moreno Maza, Bican Xia, James H. Davenport
Publication date: 17 September 2015
Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1837934.1837972
triangular decompositionregular chainborder polynomialfingerprint polynomial setregular semi-algebraic system
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)
Related Items (9)
A probabilistic algorithm for computing data-discriminants of likelihood equations ⋮ A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Relative equilibria in the four-vortex problem with two pairs of equal vorticities ⋮ Faster real root decision algorithm for symmetric polynomials ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Fast simplifications for Tarski formulas based on monomial inequalities ⋮ Computing real radicals and \(S\)-radicals of polynomial systems ⋮ On solving parametric polynomial systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Differential algebra for derivations with nontrivial commutation rules
- Generating differential invariants
- Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
- Smooth and algebraic invariants of a group action: Local and global constructions
- Differential invariants of a Lie group action: syzygies on a generating set
- Invariants différentiels d'un pseudogroupe de Lie. I
- Invariants différentiels d'un pseudogroupe de Lie. II
- Higher order contact of submanifolds of homogeneous spaces
- Moving coframes. II: Regularization and theoretical foundations
- Rational invariants of a group action. Construction and rewriting
- Differential invariants of conformal and projective surfaces
This page was built for publication: Triangular decomposition of semi-algebraic systems
