Variant real quantifier elimination
From MaRDI portal
Publication:2883815
DOI10.1145/1576702.1576729zbMath1237.14005OpenAlexW1973815481MaRDI QIDQ2883815
Publication date: 13 May 2012
Published in: Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1576702.1576729
Symbolic computation and algebraic computation (68W30) Computational aspects of higher-dimensional varieties (14Q15) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)
Related Items (5)
Refined F5 Algorithms for Ideals of Minors of Square Matrices ⋮ Variant quantifier elimination ⋮ Global optimization of polynomials over real algebraic sets ⋮ Quantifier elimination for a class of exponential polynomial formulas ⋮ A search-based procedure for nonlinear real arithmetic
Uses Software
This page was built for publication: Variant real quantifier elimination
