Pages that link to "Item:Q1864897"
From MaRDI portal
The following pages link to An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897):
Displaying 29 items.
- Recent advances in program verification through computer algebra (Q351971) (← links)
- A generic position based method for real root isolation of zero-dimensional polynomial systems (Q480656) (← links)
- A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals (Q492020) (← links)
- Abelian integrals in unfoldings of codimension 3 singularities with nilpotent linear parts (Q504906) (← links)
- Bound the number of limit cycles bifurcating from center of polynomial Hamiltonian system via interval analysis (Q508217) (← links)
- Symbolic decision procedure for termination of linear programs (Q539162) (← links)
- Real solution isolation with multiplicity of zero-dimensional triangular systems (Q543162) (← links)
- Solving parametric piecewise polynomial systems (Q651936) (← links)
- Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386) (← links)
- Isolating the real roots of the piecewise algebraic variety (Q1029844) (← links)
- Real zeros of the zero-dimensional parametric piecewise algebraic variety (Q1041521) (← links)
- Univariate real root isolation in an extension field and applications (Q1757003) (← links)
- Algebraic analysis of stability and bifurcation of a self-assembling micelle system (Q2249013) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Parallel computation of real solving bivariate polynomial systems by zero-matching method (Q2451343) (← links)
- Real solution isolation using interval arithmetic (Q2458505) (← links)
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions (Q2656085) (← links)
- Real Root Isolation of Regular Chains (Q2799549) (← links)
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation (Q2799571) (← links)
- Univariate Real Root Isolation over a Single Logarithmic Extension of Real Algebraic Numbers (Q4610025) (← links)
- Cyclicity of a Family of Generic Reversible Quadratic Systems with One Center (Q4631668) (← links)
- Computing totally real hyperplane sections and linear series on algebraic curves (Q5101849) (← links)
- Abelian Integrals from an Unfolding of Codimension-3 Singularities with Nilpotent Linear Part (Q5120496) (← links)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836) (← links)
- Analyzing the dual space of the saturated ideal of a regular set and the local multiplicities of its zeros (Q6087590) (← links)
- Square-free pure triangular decomposition of zero-dimensional polynomial systems (Q6594999) (← links)
- Computing real radicals by moment optimization (Q6666518) (← links)
