Magma

A software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.