Pages that link to "Item:Q3452400"

The following pages link to Constructing fewer open cells by GCD computation in CAD projection (Q3452400):

Displaying 10 items.

• Multivariate discriminant and iterated resultant (Q296167) (← links)
• Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
• Detection of special curves via the double resultant (Q1707520) (← links)
• Open weak CAD and its applications (Q1711996) (← links)
• Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
• Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
• Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
• Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
• The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
• Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)