The following pages link to (Q4391229):
Displaying 16 items.
- A computational proof of complexity of some restricted counting problems (Q534558) (← links)
- Qualitative reasoning with directional relations (Q622129) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- Geometric reasoning about assembly tools (Q1128490) (← links)
- Betti numbers of semi-Pfaffian sets (Q1295795) (← links)
- On computing a set of points meeting every cell defined by a family of polynomials on a variety (Q1361873) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Real solving for positive dimensional systems. (Q1867000) (← links)
- On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
- Global optimality in \(k\)-means clustering (Q2195470) (← links)
- Exact algorithms for semidefinite programs with degenerate feasible set (Q2229751) (← links)
- On the geometry of polar varieties (Q2267371) (← links)
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients (Q5883314) (← links)
- Finding at least one point in each connected component of a real algebraic set defined by a single equation (Q5925972) (← links)
- Stability analysis of a bacterial growth model through computer algebra (Q6060138) (← links)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836) (← links)
