Pages that link to "Item:Q1103610"
From MaRDI portal
The following pages link to A bibliography of quantifier elimination for real closed fields (Q1103610):
Displaying 3 items.
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals (Q1185456) (← links)
- (Q2760201) (← links)
- An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092) (← links)