Variant quantifier elimination
type: Item
instance of: scholarly article
title: Variant quantifier elimination
zbMATH Open document ID: 1238.14001
author: Hoon Hong
author: Mohab Safey El Din
published in: Journal of Symbolic Computation
publication date: 2012-05-23T00:00:00Z
Mathematics Subject Classification ID: 14-04
Mathematics Subject Classification ID: 14Q15
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 14P99
zbMATH DE Number: 6037615
zbMATH Keywords: quantifier elimination
zbMATH Keywords: computational real algebraic geometry
zbMATH Keywords: stability analysis
Wikidata QID: Q57431347
describes a project that uses: Kronecker
describes a project that uses: RAGlib
describes a project that uses: SINGULAR
describes a project that uses: FGb
describes a project that uses: QEPCAD
describes a project that uses: SYNRAC
describes a project that uses: Maple
MaRDI profile type: Publication
full work available at URL: j.jsc.2011.05.014
OpenAlex ID: W2072992931
cites work: Q4552457
cites work: Q5563439
cites work: Q5389777
cites work: On the geometry of polar varieties
cites work: On the combinatorial and algebraic complexity of quantifier elimination
cites work: Computing roadmaps of semi-algebraic sets on a variety
cites work: Algorithms in real algebraic geometry
cites work: Improved projection for cylindrical algebraic decomposition
cites work: QEPCAD B
cites work: Computing Roadmaps of General Semi-Algebraic Sets
cites work: Q4391213
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Nash triviality in families of Nash manifolds
cites work: Q4317713
cites work: A new efficient algorithm for computing Gröbner bases \((F_4)\)
cites work: Q4660688
cites work: Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
cites work: A Gröbner free alternative for polynomial system solving
cites work: A Singular Introduction to Commutative Algebra
cites work: Complexity of deciding Tarski algebra
cites work: Q3880806
cites work: Q3942397
cites work: Q4234240
cites work: The exact region of stability for MacCormack scheme
cites work: Testing stability by quantifier elimination
cites work: Variant real quantifier elimination: algorithm and application
cites work: Nonlinear control system design by quantifier elimination
cites work: Convergence of the solutions of the compressible to the solutions of the incompressible Navier-Stokes equations
cites work: Systems of conservation laws
cites work: Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers
cites work: High-Resolution Conservative Algorithms for Advection in Incompressible Flow
cites work: Applying Quantifier Elimination to Stability Analysis of Difference Schemes
cites work: On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
cites work: Testing sign conditions on a multivariate polynomial and applications
cites work: Q4660671
cites work: A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface
cites work: Q4135685
cites work: Initial boundary value problems for incompletely parabolic systems
cites work: Cylindrical algebraic decomposition using validated numerics
cites work: Q3838772
cites work: Q5807665
DBLP publication ID: journals/jsc/HongD12
DOI: 10.1016/J.JSC.2011.05.014
description: scientific article; zbMATH DE number 6037615