Символьная алгебра

Macsyma
MIT, 1968-1982 (Maclisp), Symbolics Inc., 1982 (Open Genera Lisp).
Reduce
Hearn A.C., 1974 (R-Lisp).
Maxima
GPL-licensed, 1982 (Common Lisp).

Типичные абстракции

Мы можем рассматривать их как объекты составных типов данных, полезных при обработке выражений.

x2 sin(y2 + 1) + cos 2y + cos(y3 − 2y2)

Проиллюстрируем типичные решения при разработке подобных систем на основе идей абстракции данных и обобщенных операций.

Арифметика многочленов (полиномов)