Magma Link

Integrating Magma in Java is an easy job. You can use this program to do so.

Magma Phrasebook

Using OpenMath while talking to Magma is easy. Just use the phrasebook and call a remotely running Magma. Click on the link below to download it. Note that if you want to be able to use this you need a remotely running Magma, see the Magma Service below.


Magma Service

If you want to have a remotely accessible Magma you can use this program to accomplish this. Note that you need to have your own Magma.


Magma Shell

If you want a simple program to test interacting with Magma you can use this shell to do so. If you want you can use our Java WebstartTM link to run the program, or you can download the program below.