The following pages link to (Q3684200):
Displaying 4 items.
- Solving systems of polynomial inequalities over a real closed field in subexponential time (Q804242) (← links)
- Solving systems of polynomial inequalities in subexponential time (Q1113939) (← links)
- Complexity of deciding Tarski algebra (Q1264143) (← links)
- Complexity of deciding the first-order theory of real closed fields (Q2277024) (← links)