Magma (computer algebra system)

Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics. It is named after the algebraic structuremagma. It runs on Unix-likeoperating systems, as well as Windows.