"Принципы синтеза приемов автоматического решения задач по тригонометрии и дифференциальному исчислению" - читать интересную книгу автора (Подколзин А.С. )