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