Pages that link to "Item:Q2819637"
From MaRDI portal
The following pages link to An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems (Q2819637):
Displaying 3 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)
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q2959017) (← links)