computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics