Magma es un lenguaje de programación diseñado para facilitar la construcción de algoritmos algebraicos. Es especialmente adecuado para el álgebra computacional, la teoría de números y la combinatoria. Magma ha sido desarrollado por un equipo internacional de matemáticos e informáticos.
Magma es un lenguaje fuertemente tipado con un expresivo sistema de tipos. Dispone de un sofisticado compilador que optimiza el rendimiento del código Magma. Magma tiene una interfaz bien desarrollada con otros lenguajes, que permite llamar al código Magma desde otros programas.
Magma es un proyecto libre y de código abierto, publicado bajo la Licencia Pública General GNU.