Triangular decomposition of semi-algebraic systems
From MaRDI portal
Publication:5892166
Recommendations
- Triangular decomposition of semi-algebraic systems
- Computing cylindrical algebraic decomposition via triangular decomposition
- Computing with semi-algebraic sets represented by triangular decomposition
- Algorithms for computing triangular decompositions of polynomial systems
- Algorithms for computing triangular decomposition of polynomial systems
Cites work
- scientific article; zbMATH DE number 3762913 (Why is no real title available?)
- scientific article; zbMATH DE number 45257 (Why is no real title available?)
- scientific article; zbMATH DE number 3490133 (Why is no real title available?)
- scientific article; zbMATH DE number 2038305 (Why is no real title available?)
- scientific article; zbMATH DE number 2142844 (Why is no real title available?)
- scientific article; zbMATH DE number 3015982 (Why is no real title available?)
- scientific article; zbMATH DE number 802623 (Why is no real title available?)
- Differential algebra for derivations with nontrivial commutation rules
- Differential invariants of a Lie group action: syzygies on a generating set
- Differential invariants of conformal and projective surfaces
- Generating differential invariants
- Higher order contact of submanifolds of homogeneous spaces
- Invariants différentiels d'un pseudogroupe de Lie. I
- Invariants différentiels d'un pseudogroupe de Lie. II
- Moving coframes. II: Regularization and theoretical foundations
- Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
- Rational invariants of a group action. Construction and rewriting
- Smooth and algebraic invariants of a group action: Local and global constructions
Cited in
(18)- Computing with semi-algebraic sets represented by triangular decomposition
- Triangular decomposition of semi-algebraic systems
- Solving parametric polynomial systems by RealComprehensiveTriangularize
- Intersection formulas and algorithms for computing triangular decompositions
- scientific article; zbMATH DE number 1979251 (Why is no real title available?)
- On solving parametric polynomial systems
- Algorithms for computing triangular decomposition of polynomial systems
- Fast simplifications for Tarski formulas based on monomial inequalities
- Stability analysis for discrete biological models using algebraic methods
- Algorithms for computing triangular decompositions of polynomial systems
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
- Trinity algebra and its application to machine decompositions
- Faster real root decision algorithm for symmetric polynomials
- Specifications for triangulation algorithms of elementary-algebraic systems
- A probabilistic algorithm for computing data-discriminants of likelihood equations
- Computing real radicals and \(S\)-radicals of polynomial systems
- Stability analysis of a differential model for quasi-periodic plasma perturbations
- Relative equilibria in the four-vortex problem with two pairs of equal vorticities
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)
