Magma

Magma je programovací jazyk navrhnutý na uľahčenie tvorby algebraických algoritmov. Je obzvlášť vhodný pre výpočtovú algebru, teóriu čísel a kombinatoriku. Magmu vyvíja medzinárodný tím matematikov a informatikov. Magma je silne typovaný jazyk s expresívnym typovým systémom. Má prepracovaný kompilátor, ktorý optimalizuje kód Magmy na výkon. Magma má dobre vyvinuté rozhranie s inými jazykmi, ktoré umožňuje volanie kódu Magma z iných programov. Magma je slobodný projekt s otvoreným zdrojovým kódom, vydaný pod všeobecnou verejnou licenciou GNU.