Magma

Magma ist eine Programmiersprache, die die Konstruktion von algebraischen Algorithmen erleichtern soll. Sie eignet sich besonders gut für Computeralgebra, Zahlentheorie und Kombinatorik. Magma wird von einem internationalen Team von Mathematikern und Informatikern entwickelt. Magma ist eine stark typisierte Sprache mit einem ausdrucksstarken Typsystem. Sie verfügt über einen hochentwickelten Compiler, der den Magma-Code auf Leistung optimiert. Magma hat eine gut entwickelte Schnittstelle zu anderen Sprachen, so dass Magma-Code aus anderen Programmen heraus aufgerufen werden kann. Magma ist ein freies und quelloffenes Projekt, das unter der GNU General Public License veröffentlicht wird.