Discovering Mathematics with Magma

Based on the ontology and semantics of algebra, the computer algebra system Magma enables users to rapidly formulate and perform calculations in abstract parts of mathematics. Coverage ranges from number theory and algebraic geometry, through representation theory and group theory to discrete mathematics and graph theory.