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