搜索结果: 1-1 共查到“几何学基础 Some non-elimination results”相关记录1条 . 查询时间(0.078 秒)
Some (non-)elimination results for curves in geometric structures
Some (non-)elimination results curves geometric structures
2010/11/17
Chevaley-Tarski theorem insures that the projection of a constructible set of $\C ^n$ is also a constructible set. In this note we prove that the projection of a finite boolean combination of algebra...