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