Pages that link to "Item:Q2378506"

The following pages link to Computing sum of squares decompositions with rational coefficients (Q2378506):

Displaying 45 items.

• Algorithmic aspects of sums of Hermitian squares of noncommutative polynomials (Q354616) (← links)
• Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients (Q654030) (← links)
• A convex polynomial that is not sos-convex (Q715094) (← links)
• Equilibrium problems involving the Lorentz cone (Q742123) (← links)
• Inflation of poorly conditioned zeros of systems of analytic functions (Q823834) (← links)
• A method for computing lowest eigenvalues of symmetric polynomial differential operators by semidefinite programming (Q984697) (← links)
• A heuristic method for certifying isolated zeros of polynomial systems (Q1634514) (← links)
• Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
• Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system (Q1744121) (← links)
• An approach to constrained polynomial optimization via nonnegative circuit polynomials and geometric programming (Q1994127) (← links)
• On the conditions for the finite termination of ADMM and its applications to SOS polynomials feasibility problems (Q2007822) (← links)
• Vector barrier certificates and comparison systems (Q2024361) (← links)
• On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
• Dimension-free entanglement detection in multipartite Werner states (Q2099794) (← links)
• Testing hyperbolicity of real polynomials (Q2183741) (← links)
• Sums of squares in Macaulay2 (Q2184805) (← links)
• Polynomially parameter dependent exponential stabilization of sampled-data LPV systems (Q2245951) (← links)
• Certification of real inequalities: templates and sums of squares (Q2349133) (← links)
• An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions (Q2351490) (← links)
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
• Converging outer approximations to global attractors using semidefinite programming (Q2665706) (← links)
• SONC optimization and exact nonnegativity certificates via second-order cone programming (Q2674014) (← links)
• On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010) (← links)
• NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials (Q3093048) (← links)
• Exact Certification in Global Polynomial Optimization Via Rationalizing Sums-Of-Squares (Q3576578) (← links)
• Sum-of-Squares Optimization without Semidefinite Programming (Q4629344) (← links)
• (Q4638054) (← links)
• Exact Semidefinite Programming Bounds for Packing Problems (Q4989941) (← links)
• Certified Hermite Matrices from Approximate Roots - Univariate Case (Q5014656) (← links)
• Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets (Q5043282) (← links)
• Sharper and Simpler Nonlinear Interpolants for Program Verification (Q5056007) (← links)
• Formal Proofs for Nonlinear Optimization (Q5195260) (← links)
• Facial reduction for exact polynomial sum of squares decomposition (Q5207444) (← links)
• A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares (Q5240712) (← links)
• A note on the nonexistence of sum of squares certificates for the Bessis–Moussa–Villani conjecture (Q5253730) (← links)
• Bounds for Deterministic and Stochastic Dynamical Systems using Sum-of-Squares Optimization (Q5506818) (← links)
• Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients (Q5883314) (← links)
• Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
• Convex computation of maximal Lyapunov exponents (Q6048912) (← links)
• A practical approach to SOS relaxations for detecting quantum entanglement (Q6050141) (← links)
• Stability analysis of a bacterial growth model through computer algebra (Q6060138) (← links)
• Moment ratio inequality of bivariate Gaussian distribution and three-dimensional Gaussian product inequality (Q6111126) (← links)
• On the degree of varieties of sum of squares (Q6117872) (← links)
• Stability analysis of sampled-data control systems with input saturation: a hybrid system approach (Q6152369) (← links)
• Noncommutative nullstellensätze and perfect games (Q6158478) (← links)