"CAS not an end of mathematics" - читать интересную книгу автора (Buchberger.)