Предложен экскурс в историю систем компьютерной алгебры. Даны общие сведения по языкам программирования Maple и Mathematica. Описаны базовые управляющие структуры пакетов этих языков, механизмы типирования объектов в их среде. Освещены вопросы организации обработки особых и ошибочных ситуаций, механизма процедур и модулей в Maple и Mathematica, работы с пакетами в этой среде. Даны сведения о средствах ввода/вывода данных пакетов. Внимание уделено организации программного обеспечения пользователя в среде Maple и Mathematica и оценке их эффективности.