науки, возникшая на стыке математики и информационных технологий. Ее
предметом является осуществление символьных вычислений с помощью ЭВМ (например, разложение многочлена на множители, аналитическое интегрирование и дифференцирование, разнообразные задачи дискретной математики, в т.ч. проверка изоморфизма графов, сборка Кубика Рубика и др.).Технический прогресс привел к появлению различных программных продуктов для символьных вычислений – т.наз. систем компьютерной алгебры. Наиболее известны из них свободно распространяемые системы GAP, KANT, Singular, коммерческие системы MAGMA, Maple, Mathematica, Statistica, MathCAD, MathLab, и др.