An improvement of the projection operator in cylindrical algebraic decomposition
-
- Hong
- 作成者
詳細情報
-
- CRID
- 1370568467268064263
-
- データソース種別
-
- Crossref