Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination for elementary geometry and elementary affine geometry |
scientific article |
Statements
Quantifier elimination for elementary geometry and elementary affine geometry (English)
0 references
10 December 2012
0 references
quantifier elimination
0 references
elementary geometry
0 references
elementary affine geometry
0 references
0 references
