Pages that link to "Item:Q5119922"
From MaRDI portal
The following pages link to Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition (Q5119922):
Displaying 5 items.
- Open weak CAD and its applications (Q1711996) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Open non-uniform cylindrical algebraic decompositions (Q2819742) (← links)
- (Q4391219) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)