scientific article; zbMATH DE number 1157663
From MaRDI portal
Publication:4391229
Cited in
(19)- Geometric reasoning about assembly tools
- Betti numbers of semi-Pfaffian sets
- On computing a set of points meeting every cell defined by a family of polynomials on a variety
- Open weak CAD and its applications
- Real solving for positive dimensional systems.
- On exact Reznick, Hilbert-Artin and Putinar's representations
- Global optimality in k-means clustering
- On the geometry of polar varieties
- A computational proof of complexity of some restricted counting problems
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
- Finding at least one point in each connected component of a real algebraic set defined by a single equation
- Stability analysis of a bacterial growth model through computer algebra
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
- Qualitative reasoning with directional relations
- Jacobi stability analysis for systems of ODEs with symbolic computation
- Computational complexity of the Hylland-Zeckhauser mechanism for one-sided matching markets
- Hopcroft's problem, log* shaving, two-dimensional fractional cascading, and decision trees
- Jacobi stability analysis for systems of ODEs using symbolic computation
- On sign conditions over real multivariate polynomials
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4391229)
