Variant quantifier elimination (Q420753): Difference between revisions

@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2011.05.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2072992931
@@ Property / OpenAlex ID: W2072992931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552457
@@ Property / cites work: Q4552457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563439
@@ Property / cites work: Q5563439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389777
@@ Property / cites work: Q5389777 / rank @@
+Normal rank
@@ Property / cites work @@
+On the geometry of polar varieties
@@ Property / cites work: On the geometry of polar varieties / rank @@
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Computing roadmaps of semi-algebraic sets on a variety
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Roadmaps of General Semi-Algebraic Sets
@@ Property / cites work: Computing Roadmaps of General Semi-Algebraic Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Nash triviality in families of Nash manifolds
@@ Property / cites work: Nash triviality in families of Nash manifolds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317713
@@ Property / cites work: Q4317713 / rank @@
+Normal rank
@@ Property / cites work @@
+A new efficient algorithm for computing Gröbner bases \((F_4)\)
+Normal rank
@@ Property / cites work @@
+Q4660688
@@ Property / cites work: Q4660688 / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
+Normal rank
@@ Property / cites work @@
+A Gröbner free alternative for polynomial system solving
+Normal rank
@@ Property / cites work @@
+A Singular Introduction to Commutative Algebra
@@ Property / cites work: A Singular Introduction to Commutative Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880806
@@ Property / cites work: Q3880806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942397
@@ Property / cites work: Q3942397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234240
@@ Property / cites work: Q4234240 / rank @@
+Normal rank
@@ Property / cites work @@
+The exact region of stability for MacCormack scheme
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Variant real quantifier elimination
@@ Property / cites work: Variant real quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Convergence of the solutions of the compressible to the solutions of the incompressible Navier-Stokes equations
+Normal rank
@@ Property / cites work @@
+Systems of conservation laws
@@ Property / cites work: Systems of conservation laws / 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 @@
+High-Resolution Conservative Algorithms for Advection in Incompressible Flow
+Normal rank
@@ Property / cites work @@
+Applying Quantifier Elimination to Stability Analysis of Difference Schemes
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+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 @@
+A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface
+Normal rank
@@ Property / cites work @@
+Q4135685
@@ Property / cites work: Q4135685 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial boundary value problems for incompletely parabolic systems
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Q3838772
@@ Property / cites work: Q3838772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank