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

Препринт. — М.: МГУ, 1994. — 33 с. — (Механико-математический факультет МГУ).Дано краткое описание системы приемов, использованных в компьютерном решателе математических задач для решения задач по тригонометрии и дифференциальному исчислению.Введение.
Преобразование тригонометрических выражений.
Приемы решения тригонометрических уравнений и неравенств.
Вычисление пределов и производных.
Литература.