scientific article; zbMATH DE number 1157658

Publication date: 1 October 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Symbolic computation and algebraic computation (68W30)

Related Items

Curtains in CAD: Why Are They a Problem and How Do We Fix Them?, Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks, Multivariate discriminant and iterated resultant, Recent Advances in Real Geometric Reasoning, An improved projection operation for cylindrical algebraic decomposition of three-dimensional space, An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination, Isolating all the real roots of a mixed trigonometric-polynomial, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, Lazard-style CAD and Equational Constraints, CAD and topology of semi-algebraic sets, Levelwise construction of a single cylindrical algebraic cell, What does ``without loss of generality mean, and how do we detect it, Computing the shapes arising in a family of space rational curves depending on one parameter, Open weak CAD and its applications, Cylindrical algebraic sub-decompositions, Global optimization of polynomials over real algebraic sets, A delineability-based method for computing critical sets of algebraic surfaces, Cylindrical algebraic decomposition using validated numerics, 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, Partial cylindrical algebraic decomposition for quantifier elimination, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Validity proof of Lazard's method for CAD construction, A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS, Using machine learning to improve cylindrical algebraic decomposition, Simple CAD construction and its applications, Improved projection for cylindrical algebraic decomposition, The computation of polynomial greatest common divisors over an algebraic number field, Truth table invariant cylindrical algebraic decomposition, Cylindrical algebraic decomposition using local projections, Need Polynomial Systems Be Doubly-Exponential?, Fully incremental cylindrical algebraic decomposition, Cylindrical algebraic decomposition with equational constraints, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree, A Survey of Satisfiability Modulo Theory, An efficient algorithm for the stratification and triangulation of an algebraic surface, Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition, Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure, Constructing a single cell in cylindrical algebraic decomposition, Local box adjacency algorithms for cylindrical algebraic decompositions, Interval arithmetic in cylindrical algebraic decomposition