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

@@ Property / DOI @@
-.1016/j.jsc.2018.06.005
@@ Property / DOI: 10.1016/j.jsc.2018.06.005 / rank @@
-Normal rank
@@ 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
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mctoolbox
@@ Property / describes a project that uses: mctoolbox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PARI/GP
@@ Property / describes a project that uses: PARI/GP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAGlib
@@ Property / describes a project that uses: RAGlib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SDPA
@@ Property / describes a project that uses: SDPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPECTRA
@@ Property / describes a project that uses: SPECTRA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963106619
@@ Property / OpenAlex ID: W2963106619 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03941
@@ Property / arXiv ID: 1706.03941 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2018.06.005
@@ Property / DOI: 10.1016/J.JSC.2018.06.005 / rank @@
+Normal rank