VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836): Difference between revisions

Latest revision as of 18:14, 30 December 2024

scientific article; zbMATH DE number 7741549

Language	Label	Description	Also known as
English	VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities	scientific article; zbMATH DE number 7741549

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

0 references

Journal of Systems Science and Complexity

0 references

publication date

22 September 2023

0 references

zbMATH Keywords

error bounds

0 references

polynomial system

0 references

real solutions

0 references

singular solutions

0 references

verification

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

The Chow form of the essential variety in computer vision

0 references

Algebraic geometry and computer vision: Polynomial systems, real and complex roots

0 references

The Numerical Solution of Systems of Polynomials Arising in Engineering and Science

0 references

Q4079605

0 references

On the combinatorial and algebraic complexity of quantifier elimination

0 references

Q4391229

0 references

On the Theoretical and Practical Complexity of the Existential Theory of Reals

0 references

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

0 references

Partial cylindrical algebraic decomposition for quantifier elimination

0 references

QEPCAD B

0 references

Q4660673

0 references

An algorithm for isolating the real solutions of semi-algebraic systems

0 references

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

0 references

Real solving for positive dimensional systems.

0 references

Polar varieties and efficient real elimination

0 references

On the geometry of polar varieties

0 references

Finding at least one point in each connected component of a real algebraic set defined by a single equation

0 references

Q4660671

0 references

Certified Numerical Homotopy Tracking

0 references

Robust certified numerical homotopy tracking

0 references

Algorithm 921

0 references

Real Root Isolation of Polynomial Equations Based on Hybrid Computation

0 references

A hybrid procedure for finding real points on a real algebraic set

0 references

Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken

0 references

A Test for Existence of Solutions to Nonlinear Systems

0 references

Q3730926

0 references

Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one

0 references

Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems

0 references

Verified error bounds for multiple roots of systems of nonlinear equations

0 references

Certifying Isolated Singular Points and their Multiplicity Structure

0 references

Deflation and certified isolation of singular zeros of polynomial systems

0 references

Q4949347

0 references

Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)

0 references

Computational existence proofs for spherical \(t\)-designs

0 references

Existence of Solutions to Systems of Underdetermined Equations and Spherical Designs

0 references

Numerical homotopies to compute generic points on positive dimensional algebraic sets

0 references

Q4717965

0 references

Q3602882

0 references

Verified error bounds for real solutions of positive-dimensional polynomial systems

0 references

Characterizing the solution set of polynomial systems in terms of homogeneous forms: an LMI approach

0 references

Detecting Global Optimality and Extracting Solutions in GloptiPoly

0 references

Semidefinite characterization and computation of zero-dimensional real radical ideals

0 references

Computing real solutions of polynomial systems via low-rank moment matrix completion

0 references

Newton's method with deflation for isolated singularities of polynomial systems

0 references

Deciding reachability of the infimum of a multivariate polynomial

0 references

Q4428721

0 references

Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces

0 references

Polars of real singular curves

0 references

Numerically computing real points on algebraic sets

0 references

Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One

0 references

New upper bounds for kissing numbers from semidefinite programming

0 references

Application of Dixon resultant to satellite trajectory control by pole placement

0 references

Computing Dynamic Output Feedback Laws

0 references

Q4251314

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

10.1007/S11424-023-1406-7

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6076836

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