Blogs about: Semialgebraic Geometry
Featured Blog
Deciding the convexity of semialgebraic sets II
Let denote the set of real symmetric matrices. We introduce a matrix-valued function defined by The elliptope is defined by where means that matrix is positive semidefinite. Since the elliptope is def… more →
Rod Carvalho
Deciding the convexity of semialgebraic sets II
wrote 11 months ago: Let denote the set of real symmetric matrices. We introduce a matrix-valued function defined by The … more →
Deciding the convexity of semialgebraic sets
wrote 11 months ago: Given a basic closed semialgebraic set [1], , defined by where and , how can one decide if set is co … more →
Feasibility via quantifier elimination II
wrote 1 year ago: Suppose we want to decide whether the following semialgebraic set is nonempty. This is the same as d … more →
Feasibility via quantifier elimination
wrote 1 year ago: Consider the system of polynomial equations and inequalities [1] whose solution set is the following … more →
LMI representation of convex polytopes
wrote 1 year ago: Suppose we are given a convex polytope defined by the intersection of closed half-spaces where and . … more →
LMI representation of convex polygons
wrote 1 year ago: Consider the following non-strict linear matrix inequality (LMI) [1] where is a matrix-valued functi … more →
