"Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm, ISSAC 1989" - читать интересную книгу автора (David Saunders, Hing Lee, Kamal Abdali)