The following pages link to (Q4949370):
Displayed 4 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- Precise numerical computation (Q1779570) (← links)
- Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)