جبر رایانه‌ای

Also known as symbolic mathematics, symbolic computation, algebraic computation, symbolic processing, computational algebra

branch of mathematics and computer science that deals with the symbolic manipulation of algebraic expressions