scientific article; zbMATH DE number 1157648
From MaRDI portal
zbMath0900.03053MaRDI QIDQ4391213
Publication date: 1 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Recent Advances in Real Geometric Reasoning, Single-factor coefficient bounds, Logic for physical space. From antiquity to present day, Lazard-style CAD and Equational Constraints, Variant quantifier elimination, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Open weak CAD and its applications, Solving linear constraints over real and rational fields, Cylindrical algebraic decomposition using validated numerics, Interval-based projection method for under-constrained numerical systems, Solving systems of strict polynomial inequalities, On using Lazard's projection in CAD construction, Proving inequalities and solving global optimization problems via simplified CAD projection, Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading, Symbolic analysis of multiple steady states in a MAPK chemical reaction network, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Solutions to disturbance decoupling problem with constant measurement feedback for linear systems, Validity proof of Lazard's method for CAD construction, Visualizing parametric solution sets, Improved projection for cylindrical algebraic decomposition, Identifying the parametric occurrence of multiple steady states for some biological networks, Truth table invariant cylindrical algebraic decomposition, On the Generation of Positivstellensatz Witnesses in Degenerate Cases, Need Polynomial Systems Be Doubly-Exponential?, Fully incremental cylindrical algebraic decomposition, Cylindrical algebraic decomposition with equational constraints, From simplification to a partial theory solver for non-linear real polynomial constraints, A note on observability tests for general polynomial and simple Wiener-Hammerstein systems, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree, Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition, Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition, Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition, Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach
