scientific article; zbMATH DE number 1263359
From MaRDI portal
Publication:4234240
zbMath0919.03029MaRDI QIDQ4234240
Publication date: 23 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cylindrical algebraic decompositionquantifier elimination algorithmsolution formula constructionthree-valued logic minimization
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), The exact region of stability for MacCormack scheme, Unnamed Item, Fast simplifications for Tarski formulas based on monomial inequalities, Variant quantifier elimination, Computing with Tarski formulas and semi-algebraic sets in a web browser, Open weak CAD and its applications, Global optimization of polynomials over real algebraic sets, Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading, A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS, Simple CAD construction and its applications, Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact, Improved projection for cylindrical algebraic decomposition, From simplification to a partial theory solver for non-linear real polynomial constraints, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, Quantified set inversion algorithm with applications to control, Special algorithm for stability analysis of multistable biological regulatory systems, BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES
