Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2017.03.004
@@ Property / DOI: 10.1016/j.jsc.2017.03.004 / rank @@
-Normal rank
@@ Property / author @@
-Agnes Szanto
@@ Property / author: Agnes Szanto / rank @@
-Normal rank
@@ Property / author @@
+Agnes Szanto
@@ Property / author: Agnes Szanto / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISOLATE
@@ Property / describes a project that uses: ISOLATE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SOS.m2
@@ Property / describes a project that uses: SOS.m2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bertini
@@ Property / describes a project that uses: Bertini / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+alphaCertified
@@ Property / describes a project that uses: alphaCertified / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronecker
@@ Property / describes a project that uses: Kronecker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963876558
@@ Property / OpenAlex ID: W2963876558 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2721
@@ Property / arXiv ID: 1408.2721 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on factors in \(\mathbb Z[x]\)
@@ Property / cites work: Bounds on factors in \(\mathbb Z[x]\) / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Proofs for Nonlinear Optimization
@@ Property / cites work: Formal Proofs for Nonlinear Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714011
@@ Property / cites work: Q4714011 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular algorithms for computing Gröbner bases.
@@ Property / cites work: Modular algorithms for computing Gröbner bases. / rank @@
+Normal rank
@@ Property / cites work @@
+Recovering Exact Results from Inexact Numerical Data in Algebraic Geometry
+Normal rank
@@ Property / cites work @@
+Q2872959
@@ Property / cites work: Q2872959 / 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 @@
+Q3350138
@@ Property / cites work: Q3350138 / rank @@
+Normal rank
@@ Property / cites work @@
+Seven mutually touching infinite cylinders
@@ Property / cites work: Seven mutually touching infinite cylinders / rank @@
+Normal rank
@@ Property / cites work @@
+Vector rational number reconstruction
@@ Property / cites work: Vector rational number reconstruction / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for zero-dimensional projections
@@ Property / cites work: Lower bounds for zero-dimensional projections / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised characteristic polynomials
@@ Property / cites work: Generalised characteristic polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Kronecker's and Newton's approaches to solving: a first comparison
+Normal rank
@@ Property / cites work @@
+Sharp estimates for triangular sets
@@ Property / cites work: Sharp estimates for triangular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the multiplicity structure in solving polynomial systems
+Normal rank
@@ Property / cites work @@
+Newton's method for overdetermined  systems of equations
+Normal rank
@@ Property / cites work @@
+Analysis of PSLQ, an integer relation finding algorithm
+Normal rank
@@ Property / cites work @@
+Modern Computer Algebra
@@ Property / cites work: Modern Computer Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for diophantine approximations
@@ Property / cites work: Lower bounds for diophantine approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Straight-line programs in geometric elimination theory
+Normal rank
@@ Property / cites work @@
+A Gröbner free alternative for polynomial system solving
+Normal rank
@@ Property / cites work @@
+Analysis of Newton’s Method at Irregular Singularities
+Normal rank
@@ Property / cites work @@
+An             <i>a posteriori</i>             certification algorithm for Newton homotopies
+Normal rank
@@ Property / cites work @@
+Certified predictor-corrector tracking for Newton homotopies
+Normal rank
@@ Property / cites work @@
+Certifying Isolated Singular Points and their Multiplicity Structure
+Normal rank
@@ Property / cites work @@
+Algorithm 921
@@ Property / cites work: Algorithm 921 / rank @@
+Normal rank
@@ Property / cites work @@
+Isosingular sets and deflation
@@ Property / cites work: Isosingular sets and deflation / rank @@
+Normal rank
@@ Property / cites work @@
+Deformation techniques for efficient polynomial equation solving.
+Normal rank
@@ Property / cites work @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
@@ Property / cites work @@
+Q4486426
@@ Property / cites work: Q4486426 / rank @@
+Normal rank
@@ Property / cites work @@
+On the minimum of a positive polynomial over the standard simplex
+Normal rank
@@ Property / cites work @@
+On the Minimum of a Polynomial Function on a Basic Closed Semialgebraic Set and Applications
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Reductions from Multivariate to Bi- and Univariate Integral Polynomial Factorization
+Normal rank
@@ Property / cites work @@
+Q3743382
@@ Property / cites work: Q3743382 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
+Normal rank
@@ Property / cites work @@
+Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Polynomial Factorization and Nonrandomness of Bits of Algebraic and Some Transcendental Numbers
+Normal rank
@@ Property / cites work @@
+Q4703996
@@ Property / cites work: Q4703996 / rank @@
+Normal rank
@@ Property / cites work @@
+Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
+Normal rank
@@ Property / cites work @@
+Sharp estimates for the arithmetic Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Factoring polynomials with rational coefficients
@@ Property / cites work: Factoring polynomials with rational coefficients / rank @@
+Normal rank
@@ Property / cites work @@
+Newton's method with deflation for isolated singularities of polynomial systems
+Normal rank
@@ Property / cites work @@
+Q5447284
@@ Property / cites work: Q5447284 / 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 @@
+Half-GCD and fast rational recovery
@@ Property / cites work: Half-GCD and fast rational recovery / rank @@
+Normal rank
@@ Property / cites work @@
+Deflation and certified isolation of singular zeros of polynomial systems
+Normal rank
@@ Property / cites work @@
+On the Generation of Positivstellensatz Witnesses in Degenerate Cases
+Normal rank
@@ Property / cites work @@
+A Test for Existence of Solutions to Nonlinear Systems
+Normal rank
@@ Property / cites work @@
+Modified deflation algorithm for the solution of singular problems. I. A system of nonlinear algebraic equations
+Normal rank
@@ Property / cites work @@
+Deflation algorithm for the multiple roots of a system of nonlinear equations
+Normal rank
@@ Property / cites work @@
+On Rational Number Reconstruction and Approximation
+Normal rank
@@ Property / cites work @@
+Computing sum of squares decompositions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Verified error bounds for multiple roots of systems of nonlinear equations
+Normal rank
@@ Property / cites work @@
+Q3730926
@@ Property / cites work: Q3730926 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4720691
@@ Property / cites work: Q4720691 / rank @@
+Normal rank
@@ Property / cites work @@
+The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
+Normal rank
@@ Property / cites work @@
+Exact solutions to linear systems of equations using output sensitive lifting
+Normal rank
@@ Property / cites work @@
+Solving over-determined systems by the subresultant method (with an appendix by Marc Chardin)
+Normal rank
@@ Property / cites work @@
+EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions
+Normal rank
@@ Property / cites work @@
+Acceleration of Euclidean Algorithm and Rational Number Reconstruction
+Normal rank
@@ Property / cites work @@
+A p-adic approach to the computation of Gröbner bases
+Normal rank
@@ Property / cites work @@
+Interval solution of nonlinear equations using linear programming
+Normal rank
@@ Property / cites work @@
+Verified error bounds for real solutions of positive-dimensional polynomial systems
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2017.03.004
@@ Property / DOI: 10.1016/J.JSC.2017.03.004 / rank @@
+Normal rank