Pages that link to "Item:Q3083312"

The following pages link to Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions (Q3083312):

Displaying 10 items.

• Sums of squares of polynomials with rational coefficients (Q726755) (← 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)
• On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
• Exact algorithms for semidefinite programs with degenerate feasible set (Q2229751) (← links)
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
• Exact Algorithms for Linear Matrix Inequalities (Q2834563) (← links)
• (Q4232468) (← links)
• Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients (Q5883314) (← links)