"Improvement of the projection operator in cylindrical algebraic decomposition" - читать интересную книгу автора (Hong H.)