Pages that link to "Item:Q492036"
From MaRDI portal
The following pages link to Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036):
Displaying 5 items.
- Multivariate discriminant and iterated resultant (Q296167) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- Consistency of a range of penalised cost approaches for detecting multiple changepoints (Q2084454) (← links)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
