Pages that link to "Item:Q2964460"

The following pages link to Adapting Real Quantifier Elimination Methods for Conflict Set Computation (Q2964460):

Displaying 2 items.

• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
• Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)