Pages that link to "Item:Q2110211"
From MaRDI portal
The following pages link to Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211):
Displaying 5 items.
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Improving the use of equational constraints in cylindrical algebraic decomposition (Q2819754) (← links)
- (Q4391219) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)