Magma
Magma is a large, well-supported software package designed to solve
computationally hard problems in algebra, number theory, geometry and
combinatorics. It provides a mathematically rigorous environment for
computing with algebraic, number-theoretic, combinatoric and geometric
objects.
Magma is available on selected computers in the Math department,
particularly on the public Linux machines in Lunt B10: mane, courant,
poisson, and quantum. Ask your system administrator about availability
on other machines.
Links