Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets. In this paper we introduce cylindrical algebraic sub-decompositions (sub-CADs), which are subsets of CADs containing all the information needed to specify a solution for a given problem. We define two new types of sub-CAD: variety sub-CADs which are those cells in a CAD lying on a designated variety; and layered sub-CADs which have only those cells of dimension higher than a specified value. We present algorithms to produce these and describe how the two approaches may be combined with each other and the recent theory of truth-table invariant CAD. We give a complex...
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algeb...
Let A ⊂ Z [x1,000, xr be a finite set. An A-invariant cylindrical algebraic decomposition (cad) is a...
Real algebraic geometry deals with the solution set of (possibly quantified) systems of polynomial e...
Abstract. Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algeb...
Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic ge...
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two...
Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geome...
This article makes the key observation that when using cylindrical al-gebraic decomposition (CAD) to...
International audienceAlthough Cylindrical Algebraic Decomposition (CAD) is widely used to study the...
AbstractWhen using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a se...
When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of pol...
When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of pol...
Abstract. Cylindrical algebraic decomposition (CAD) is a fundamen-tal tool in computational real alg...
In this report we give an introduction to a constructive way of treating systems of polynomial equat...
The Cylindrical Algebraic Decomposition method (CAD) decomposes Rr into regions over which given pol...
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algeb...
Let A ⊂ Z [x1,000, xr be a finite set. An A-invariant cylindrical algebraic decomposition (cad) is a...
Real algebraic geometry deals with the solution set of (possibly quantified) systems of polynomial e...
Abstract. Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algeb...
Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic ge...
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two...
Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geome...
This article makes the key observation that when using cylindrical al-gebraic decomposition (CAD) to...
International audienceAlthough Cylindrical Algebraic Decomposition (CAD) is widely used to study the...
AbstractWhen using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a se...
When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of pol...
When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of pol...
Abstract. Cylindrical algebraic decomposition (CAD) is a fundamen-tal tool in computational real alg...
In this report we give an introduction to a constructive way of treating systems of polynomial equat...
The Cylindrical Algebraic Decomposition method (CAD) decomposes Rr into regions over which given pol...
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algeb...
Let A ⊂ Z [x1,000, xr be a finite set. An A-invariant cylindrical algebraic decomposition (cad) is a...
Real algebraic geometry deals with the solution set of (possibly quantified) systems of polynomial e...