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.