An algorithm for isolating the real solutions of semi-algebraic systems
From MaRDI portal
Publication:1864897
DOI10.1006/jsco.2002.0572zbMath1027.68150OpenAlexW2026489546MaRDI QIDQ1864897
Publication date: 23 March 2003
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.2002.0572
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)
Related Items (28)
Recent advances in program verification through computer algebra ⋮ A symbolic-numerical algorithm for isolating real roots of certain radical expressions ⋮ Positive root isolation for poly-powers by exclusion and differentiation ⋮ VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities ⋮ On Isolating Roots in a Multiple Field Extension ⋮ Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros ⋮ Abelian Integrals from an Unfolding of Codimension-3 Singularities with Nilpotent Linear Part ⋮ Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers ⋮ Solving parametric piecewise polynomial systems ⋮ Parallel computation of real solving bivariate polynomial systems by zero-matching method ⋮ Cyclicity of a Family of Generic Reversible Quadratic Systems with One Center ⋮ A generic position based method for real root isolation of zero-dimensional polynomial systems ⋮ Real solution isolation using interval arithmetic ⋮ A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals ⋮ Abelian integrals in unfoldings of codimension 3 singularities with nilpotent linear parts ⋮ Bound the number of limit cycles bifurcating from center of polynomial Hamiltonian system via interval analysis ⋮ Algebraic analysis of stability and bifurcation of a self-assembling micelle system ⋮ Univariate real root isolation in an extension field and applications ⋮ Computing totally real hyperplane sections and linear series on algebraic curves ⋮ Symbolic decision procedure for termination of linear programs ⋮ Real solution isolation with multiplicity of zero-dimensional triangular systems ⋮ Real Root Isolation of Regular Chains ⋮ Real Root Isolation of Polynomial Equations Based on Hybrid Computation ⋮ A conflict-driven solving procedure for poly-power constraints ⋮ Complete numerical isolation of real roots in zero-dimensional triangular systems ⋮ Isolating the real roots of the piecewise algebraic variety ⋮ Real zeros of the zero-dimensional parametric piecewise algebraic variety ⋮ Discovering non-terminating inputs for multi-path polynomial programs
Uses Software
Cites Work
- A complete algorithm for automated discovering of a class of inequality-type theorems
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- Decomposing polynomial systems into simple systems
- A cubic system with eight small-amplitude limit cycles
- Computing triangular systems and regular systems
- On the theories of triangular sets
- Which Triangles are Plane Sections of Regular Tetrahedra?
- Permanence and global stability for competitive Lotka-Volterra diffusion systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: An algorithm for isolating the real solutions of semi-algebraic systems
