Pages that link to "Item:Q5119922"

The following pages link to Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition (Q5119922):

Displaying 2 items.

• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
• Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)