Система автоматического решения задач по элементарной алгебре

В работе [1] была изложена общая схема организации баз приемов, используемых при автоматическом решении задач, приведены общелогические приемы решения задач и приемы решения задач по алгебре множеств, заложенные в процедуру автоматического решения задач. Развитие этой общей схемы позволило создать усиленный вариант решателя, обеспечивающий решение задач практически по всем разделам элементарной алгебры, тригонометрии и ряду разделов дифференциального исчисления. В настоящее время достигнут уровень 80–90% числа решаемых задач по распространенным сборникам задач из таких разделов, как упрощение выражений, решение систем уравнений и неравенств, доказательство тождеств и неравенств, вычисление пределов и производных. Этот уровень постоянно повышается в процессе обучения решателя. В настоящей статье содержится схематическое описание алгоритмического языка, разработанного для ускоренной записи приемов решателя, излагаются общие принципы создания приемов, использованные при обучении решателя, и приводятся примеры таких приемов.