An improvement of the projection operator in cylindrical algebraic decomposition
-
- Hong
- Creator
Details
-
- CRID
- 1370568467268064263
-
- Data Source
-
- Crossref