Pages that link to "Item:Q3144868"
From MaRDI portal
The following pages link to Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868):
Displaying 4 items.
- Some (non-)elimination results for curves in geometric structures (Q3093534) (← links)
- (Q3483266) (← links)
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Q5119942) (← links)
- Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings (Q5193053) (← links)