Results 161 to 170 of about 40,102 (181)
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition [PDF]
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014 8 ...
Matthew England +2 more
exaly +4 more sources
Some of the next articles are maybe not open access.
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition
Proceedings of the international symposium on Symbolic and algebraic computation, 1990The Cylindrical Algebraic Decomposition (CAD) method of Collins [5] decomposes r-dimensional Euclidean space into regions over which a given set of polynomials have constant signs. An important component of the CAD method is the projection operation: given a set A of r-variate polynomials, the projection operation produces a set P of (r - 1)-variate ...
openaire +1 more source
Open Non-uniform Cylindrical Algebraic Decompositions
Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation, 2015This paper introduces the notion of an Open Non-uniform Cylindrical Algebraic Decomposition (NuCAD), and presents an efficient model-based algorithm for constructing an Open NuCAD from an input formula. Using a limited experimental implementation of the algorithm, we demonstrate the effectiveness of the approach. NuCAD generalizes Cylindrical Algebraic
openaire +1 more source
Quantifier elimination for real closed fields by cylindrical algebraic decomposition
, 1975G. Collins
semanticscholar +1 more source
Cylindrical algebraic decomposition with equational constraints
Journal of Symbolic Computation, 2020Matthew England +2 more
exaly
Cylindrical algebraic decomposition using local projections
Journal of Symbolic Computation, 2016Adam Strzebonski
exaly