An algorithm for isolating the real solutions of semi-algebraic systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 421661 (Why is no real title available?)
- scientific article; zbMATH DE number 3846864 (Why is no real title available?)
- scientific article; zbMATH DE number 3922806 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 3970886 (Why is no real title available?)
- scientific article; zbMATH DE number 41321 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1276817 (Why is no real title available?)
- scientific article; zbMATH DE number 1421053 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- A complete algorithm for automated discovering of a class of inequality-type theorems
- A cubic system with eight small-amplitude limit cycles
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- Computing triangular systems and regular systems
- Decomposing polynomial systems into simple systems
- On the theories of triangular sets
- Permanence and global stability for competitive Lotka-Volterra diffusion systems
- Which Triangles are Plane Sections of Regular Tetrahedra?
- Zero decomposition algorithms for systems of polynomial equations
Cited in
(38)- A symbolic-numerical algorithm for isolating real roots of certain radical expressions
- Parallel computation of real solving bivariate polynomial systems by zero-matching method
- scientific article; zbMATH DE number 1795756 (Why is no real title available?)
- An algorithm for isolating the real solutions of piecewise algebraic curves
- Real solution isolation with multiplicity of zero-dimensional triangular systems
- Real root isolation of regular chains
- Cyclicity of a family of generic reversible quadratic systems with one center
- Real solution isolation using interval arithmetic
- Discovering non-terminating inputs for multi-path polynomial programs
- Isolating the real roots of the piecewise algebraic variety
- Real zeros of the zero-dimensional parametric piecewise algebraic variety
- Complete numerical isolation of real roots in zero-dimensional triangular systems
- Square-free pure triangular decomposition of zero-dimensional polynomial systems
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation
- Finding real zeros of polynomial systems in a closed hypercuboid
- An algebraic approach to the partial realization problem
- scientific article; zbMATH DE number 2247478 (Why is no real title available?)
- Solving parametric piecewise polynomial systems
- scientific article; zbMATH DE number 1795739 (Why is no real title available?)
- Univariate real root isolation over a single logarithmic extension of real algebraic numbers
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
- A generic position based method for real root isolation of zero-dimensional polynomial systems
- 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
- Recent advances in program verification through computer algebra
- A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
- Univariate real root isolation in an extension field and applications
- Symbolic decision procedure for termination of linear programs
- A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals
- On Isolating Roots in a Multiple Field Extension
- 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
- Computing real radicals by moment optimization
- A conflict-driven solving procedure for poly-power constraints
- Positive root isolation for poly-powers by exclusion and differentiation
- Algebraic analysis of stability and bifurcation of a self-assembling micelle system
- Real root isolation of regular chains
- Computing totally real hyperplane sections and linear series on algebraic curves
This page was built for publication: An algorithm for isolating the real solutions of semi-algebraic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1864897)
