Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314): Difference between revisions

@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Certificates of positivity in the Bernstein basis
@@ Property / cites work: Certificates of positivity in the Bernstein basis / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and accurate computation of upper bounds of approximation errors
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248250
@@ Property / cites work: Q4248250 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set
+Normal rank
@@ Property / cites work @@
+Computing rational solutions of linear matrix inequalities
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Exact Algorithms for Linear Matrix Inequalities
@@ Property / cites work: Exact Algorithms for Linear Matrix Inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Accuracy and Stability of Numerical Algorithms
@@ Property / cites work: Accuracy and Stability of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Variant quantifier elimination
@@ Property / cites work: Variant quantifier elimination / rank @@
+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 @@
+Q5290044
@@ Property / cites work: Q5290044 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization with Polynomials and the Problem of Moments
+Normal rank
@@ Property / cites work @@
+Sylvester-Habicht sequences and fast Cauchy index computation
+Normal rank
@@ Property / cites work @@
+Formal Proofs for Nonlinear Optimization
@@ Property / cites work: Formal Proofs for Nonlinear Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+From approximate factorization to root isolation with application to cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
+Normal rank
@@ Property / cites work @@
+Q4002529
@@ Property / cites work: Q4002529 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing sum of squares decompositions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques
+Normal rank
@@ Property / cites work @@
+Q2716044
@@ Property / cites work: Q2716044 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
+Normal rank
@@ Property / cites work @@
+Univariate real root isolation in an extension field
+Normal rank
@@ Property / cites work @@
+Q3963124
@@ Property / cites work: Q3963124 / rank @@
+Normal rank