Triangular decomposition of semi-algebraic systems
DOI10.1145/1837934.1837972zbMATH Open1321.68526OpenAlexW1903368241MaRDI QIDQ5892166FDOQ5892166
Changbo Chen, James H. Davenport, Rong Xiao, John P. May, Marc Moreno Maza, Bican Xia
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 polynomialregular semi-algebraic systemfingerprint polynomial set
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rational invariants of a group action. Construction and rewriting
- Differential invariants of a Lie group action: syzygies on a generating set
- Moving coframes. II: Regularization and theoretical foundations
- Differential algebra for derivations with nontrivial commutation rules
- Generating differential invariants
- Smooth and algebraic invariants of a group action: Local and global constructions
- Invariants différentiels d'un pseudogroupe de Lie. II
- Differential invariants of conformal and projective surfaces
- Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
- Higher order contact of submanifolds of homogeneous spaces
- Invariants différentiels d'un pseudogroupe de Lie. I
Cited In (13)
- Specifications for triangulation algorithms of elementary-algebraic systems
- Trinity algebra and its application to machine decompositions
- Algorithms for computing triangular decompositions of polynomial systems
- Algorithms for computing triangular decomposition of polynomial systems
- Fast simplifications for Tarski formulas based on monomial inequalities
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
- A probabilistic algorithm for computing data-discriminants of likelihood equations
- Relative equilibria in the four-vortex problem with two pairs of equal vorticities
- On solving parametric polynomial systems
- Faster real root decision algorithm for symmetric polynomials
- Computing real radicals and \(S\)-radicals of polynomial systems
- Stability analysis for discrete biological models using algebraic methods
- Stability analysis of a differential model for quasi-periodic plasma perturbations
Uses Software
This page was built for publication: Triangular decomposition of semi-algebraic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892166)
