Magma é uma linguagem de programação concebida para facilitar a construção de algoritmos algébricos. É particularmente adequada para álgebra computacional, teoria dos números, e combinatória. Magma é desenvolvido por uma equipa internacional de matemáticos e cientistas informáticos.
Magma é uma linguagem fortemente dactilografada com um sistema de tipo expressivo. Tem um compilador sofisticado que optimiza o código Magma para o desempenho. Magma tem uma interface bem desenvolvida para outras línguas, permitindo que o código Magma seja chamado de dentro de outros programas.
Magma é um projecto livre e de código aberto, lançado sob a Licença Pública Geral GNU.