scientific article; zbMATH DE number 1157663
From MaRDI portal
Publication:4391229
zbMath0900.68278MaRDI QIDQ4391229
Saugata Basu, Richard Pollack, Marie-Françoise Roy
Publication date: 1 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)
Related Items
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients, On computing a set of points meeting every cell defined by a family of polynomials on a variety, Geometric reasoning about assembly tools, 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, Global optimality in \(k\)-means clustering, Open weak CAD and its applications, Exact algorithms for semidefinite programs with degenerate feasible set, Finding at least one point in each connected component of a real algebraic set defined by a single equation, A computational proof of complexity of some restricted counting problems, On sign conditions over real multivariate polynomials, On the geometry of polar varieties, On exact Reznick, Hilbert-Artin and Putinar's representations, Betti numbers of semi-Pfaffian sets, Real solving for positive dimensional systems.
