Pages that link to "Item:Q2819637"

The following pages link to An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems (Q2819637):

Displaying 2 items.

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
• A search-based procedure for nonlinear real arithmetic (Q518407) (← links)