Magma is a programming language designed to facilitate the construction of algebraic algorithms. It is particularly well suited for computational algebra, number theory, and combinatorics. Magma is developed by an international team of mathematicians and computer scientists.
Magma is a strongly typed language with an expressive type system. It has a sophisticated compiler which optimises Magma code for performance. Magma has a well-developed interface to other languages, allowing Magma code to be called from within other programs.
Magma is a free and open source project, released under the GNU General Public License.