On sign conditions over real multivariate polynomials (Q977180): Difference between revisions

@@ Property / describes a project that uses @@
+ISOLATE
@@ Property / describes a project that uses: ISOLATE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronecker
@@ Property / describes a project that uses: Kronecker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2132534437
@@ Property / OpenAlex ID: W2132534437 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0586
@@ Property / arXiv ID: 0801.0586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714011
@@ Property / cites work: Q4714011 / rank @@
+Normal rank
@@ Property / cites work @@
+Real solving for positive dimensional systems.
@@ Property / cites work: Real solving for positive dimensional systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Polar varieties, real equation solving, and data structures: the hypersurface case
+Normal rank
@@ Property / cites work @@
+Polar varieties and efficient real elimination
@@ Property / cites work: Polar varieties and efficient real elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389777
@@ Property / cites work: Q5389777 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized polar varieties: geometry and algorithms
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4391229
@@ Property / cites work: Q4391229 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of partial derivatives
@@ Property / cites work: The complexity of partial derivatives / rank @@
+Normal rank
@@ Property / cites work @@
+On computing the determinant in small parallel time using a small number of processors
+Normal rank
@@ Property / cites work @@
+Q4314299
@@ Property / cites work: Q4314299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210476
@@ Property / cites work: Q4210476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331740
@@ Property / cites work: Q4331740 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Algorithms for Sign Determination and Existential Quantifier Elimination
+Normal rank
@@ Property / cites work @@
+Matrix multiplication via arithmetic progressions
@@ Property / cites work: Matrix multiplication via arithmetic progressions / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for diophantine approximations
@@ Property / cites work: Lower bounds for diophantine approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Straight-line programs in geometric elimination theory
+Normal rank
@@ Property / cites work @@
+A Gröbner free alternative for polynomial system solving
+Normal rank
@@ Property / cites work @@
+Counting connected components of a semialgebraic set in subexponential time
+Normal rank
@@ Property / cites work @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Q3942397
@@ Property / cites work: Q3942397 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
@@ Property / cites work @@
+Deformation techniques for efficient polynomial equation solving.
+Normal rank
@@ Property / cites work @@
+Deformation techniques for sparse systems
@@ Property / cites work: Deformation techniques for sparse systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers
+Normal rank
@@ Property / cites work @@
+Q4437143
@@ Property / cites work: Q4437143 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Finding at least one point in each connected component of a real algebraic set defined by a single equation
+Normal rank
@@ Property / cites work @@
+Testing sign conditions on a multivariate polynomial and applications
+Normal rank
@@ Property / cites work @@
+Q4660671
@@ Property / cites work: Q4660671 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing parametric geometric resolutions
@@ Property / cites work: Computing parametric geometric resolutions / rank @@
+Normal rank
@@ Property / cites work @@
+A new decision method for elementary algebra
@@ Property / cites work: A new decision method for elementary algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135685
@@ Property / cites work: Q4135685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4420474
@@ Property / cites work: Q4420474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725742
@@ Property / cites work: Q4725742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248250
@@ Property / cites work: Q4248250 / rank @@
+Normal rank