The linear quantifier elimination algorithm for ordered fields in [15] is applicable to a wide range of...
No takes yet. Share an insight, caveat, or question.
Rüdiger Loos (1993) studied this question.