Certification for polynomial systems via square subsystems
From MaRDI portal
Abstract: We consider numerical certification of approximate solutions to a system of polynomial equations with more equations than unknowns by first certifying solutions to a square subsystem. We give several approaches that certifiably select which are solutions to the original overdetermined system. These approaches each use different additional information for this certification, such as liaison, Newton-Okounkov bodies, or intersection theory. They may be used to certify individual solutions, reject nonsolutions, or certify that we have found all solutions.
Recommendations
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
- Certifying simple zeros of over-determined polynomial systems
- A heuristic method for certifying isolated zeros of polynomial systems
- Effective certification of approximate solutions to systems of equations involving analytic functions
- Algorithm 921: alphaCertified: certifying solutions to polynomial systems
Cites work
- scientific article; zbMATH DE number 4132298 (Why is no real title available?)
- scientific article; zbMATH DE number 1001729 (Why is no real title available?)
- scientific article; zbMATH DE number 3760758 (Why is no real title available?)
- scientific article; zbMATH DE number 3766957 (Why is no real title available?)
- scientific article; zbMATH DE number 3514184 (Why is no real title available?)
- scientific article; zbMATH DE number 3992817 (Why is no real title available?)
- scientific article; zbMATH DE number 3451984 (Why is no real title available?)
- scientific article; zbMATH DE number 835749 (Why is no real title available?)
- scientific article; zbMATH DE number 4196114 (Why is no real title available?)
- A lifted square formulation for certifiable Schubert calculus
- A primal-dual formulation for certifiable computations in Schubert calculus
- A short survey on Kantorovich-like theorems for Newton's method
- Algorithm 921: alphaCertified: certifying solutions to polynomial systems
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
- Complexity of Bezout's Theorem I: Geometric Aspects
- Effective certification of approximate solutions to systems of equations involving analytic functions
- Enumerative geometry for the real Grassmannian of lines in projective space
- Gorenstein liaison, complete intersection liaison invariants and unobstructedness
- Introduction to Interval Analysis
- Khovanskii bases, higher rank valuations, and tropical geometry
- Mixed volume and an extension of intersection theory of divisors
- Newton methods for nonlinear problems. Affine invariance and adaptive algorithms.
- Newton's method for overdetermined systems of equations
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory
- Numerical Schubert calculus via the Littlewood-Richardson homotopy algorithm
- Numerical algebraic geometry
- Optimal Error Bounds for the Newton–Kantorovich Theorem
- Safe Starting Regions for Iterative Methods
- Solving zero-dimensional systems through the rational univariate representation
- The Kantorovich Theorem for Newton's Method
- The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
- The number of roots of a system of equations
- Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
- Using SAGBI bases to compute invariants
- Validated numerics. A short introduction to rigorous computations.
Cited in
(11)- Certifying polynomials for AC^0(parity) circuits, with applications
- Newton-Okounkov bodies of chemical reaction systems
- Certification Using Newton-Invariant Subspaces
- Effective certification of approximate solutions to systems of equations involving analytic functions
- \texttt{SubalgebraBases} in Macaulay2
- Numerical homotopies from Khovanskii bases
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
- Certifying simple zeros of over-determined polynomial systems
- On the equations defining some Hilbert schemes
- Certifying solutions to square systems of polynomial-exponential equations
- Certifying approximate solutions to polynomial systems on Macaulay2
Describes a project that uses
Uses Software
This page was built for publication: Certification for polynomial systems via square subsystems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820969)
