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