"Problem solving with CAS" - читать интересную книгу автора (Fateman.)