Pages that link to "Item:Q2883815"

The following pages link to Variant real quantifier elimination (Q2883815):

Displaying 4 items.

• Variant quantifier elimination (Q420753) (← links)
• Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
• A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
• Global optimization of polynomials over real algebraic sets (Q1730308) (← links)