Computing sum of squares decompositions with rational coefficients (Q2378506): Difference between revisions

@@ 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 @@
+CSDP
@@ Property / describes a project that uses: CSDP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Macaulay2
@@ Property / describes a project that uses: Macaulay2 / 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 @@
+SeDuMi
@@ Property / describes a project that uses: SeDuMi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SDPT3
@@ Property / describes a project that uses: SDPT3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GloptiPoly
@@ Property / describes a project that uses: GloptiPoly / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YALMIP
@@ Property / describes a project that uses: YALMIP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.09.025
+Normal rank
@@ Property / OpenAlex ID @@
+W1995320256
@@ Property / OpenAlex ID: W1995320256 / rank @@
+Normal rank
@@ Property / cites work @@
+New upper bounds for kissing numbers from semidefinite programming
+Normal rank
@@ Property / cites work @@
+CSDP, A C library for semidefinite programming
@@ Property / cites work: CSDP, A C library for semidefinite programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916398
@@ Property / cites work: Q3916398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698624
@@ Property / cites work: Q4698624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359644
@@ Property / cites work: Q3359644 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Q3889331
@@ Property / cites work: Q3889331 / rank @@
+Normal rank
@@ Property / cites work @@
+Sums of Hermitian squares and the BMV conjecture
@@ Property / cites work: Sums of Hermitian squares and the BMV conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization with Polynomials and the Problem of Moments
+Normal rank
@@ Property / cites work @@
+Factoring polynomials with rational coefficients
@@ Property / cites work: Factoring polynomials with rational coefficients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496025
@@ Property / cites work: Q4496025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428719
@@ Property / cites work: Q4428719 / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+An inequality for circle packings proved by semidefinite programming
+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 @@
+An algorithm for sums of squares of real polynomials
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Nonlinear Control Synthesis by Convex Optimization
+Normal rank
@@ Property / cites work @@
+Q2716044
@@ Property / cites work: Q2716044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003413
@@ Property / cites work: Q4003413 / rank @@
+Normal rank
@@ Property / cites work @@
+Extremal psd forms with few terms
@@ Property / cites work: Extremal psd forms with few terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496287
@@ Property / cites work: Q4496287 / rank @@
+Normal rank
@@ Property / cites work @@
+Class of global minimum bounds of polynomial functions
+Normal rank
@@ Property / cites work @@
+Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
+Normal rank
@@ Property / cites work @@
+Solving semidefinite-quadratic-linear programs using SDPT3
+Normal rank
@@ Property / cites work @@
+Semidefinite Programming
@@ Property / cites work: Semidefinite Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A general formula for the algebraic degree in semidefinite programming
+Normal rank
@@ Property / cites work @@
+Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
+Normal rank