VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one
Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces
Computational existence proofs for spherical \(t\)-designs
Algebraic geometry and computer vision: Polynomial systems, real and complex roots
Semidefinite characterization and computation of zero-dimensional real radical ideals
On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
Partial cylindrical algebraic decomposition for quantifier elimination
Numerical homotopies to compute generic points on positive dimensional algebraic sets
The Chow form of the essential variety in computer vision
A hybrid procedure for finding real points on a real algebraic set
An algorithm for isolating the real solutions of semi-algebraic systems
Real solving for positive dimensional systems.
Application of Dixon resultant to satellite trajectory control by pole placement
Robust certified numerical homotopy tracking
Numerically computing real points on algebraic sets
On the geometry of polar varieties
Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
Newton's method with deflation for isolated singularities of polynomial systems
Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
Real Root Isolation of Polynomial Equations Based on Hybrid Computation
Certifying Isolated Singular Points and their Multiplicity Structure
Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One
Certified Numerical Homotopy Tracking
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems
Verified error bounds for real solutions of positive-dimensional polynomial systems
Algorithm 921
On the Theoretical and Practical Complexity of the Existential Theory of Reals
New upper bounds for kissing numbers from semidefinite programming
A Test for Existence of Solutions to Nonlinear Systems
On the combinatorial and algebraic complexity of quantifier elimination
Characterizing the solution set of polynomial systems in terms of homogeneous forms: an LMI approach
Detecting Global Optimality and Extracting Solutions in GloptiPoly
QEPCAD B
Computing real solutions of polynomial systems via low-rank moment matrix completion
Deciding reachability of the infimum of a multivariate polynomial
Deflation and certified isolation of singular zeros of polynomial systems
Computing Dynamic Output Feedback Laws
The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs
Polars of real singular curves
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Finding at least one point in each connected component of a real algebraic set defined by a single equation
Polar varieties and efficient real elimination
Verified error bounds for multiple roots of systems of nonlinear equations

This page was built for publication: VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities