Lizenzsituation und Verfügbarkeit an ausgewählten Standorten der Uni Leipzig

MuPAD: Mitarbeiter und Studenten der Fakultäten Mathe/Informatik und Physik/Geowissenschaften der Uni Leipzig sowie des Fachbereichs IMN der HTWK können Schlüssel für eine MuPAD-HomeUse-Lizenz abfordern.


Axiom

Lizenzsituation: Open Source

Verfügbarkeit: Binaries für Linux oder Windows können von http://wiki.axiom-developer.org/AxiomDownload heruntergeladen werden.

Installationen: keine

Kurzcharakteristik: Ein System der 3. Generation, das seit 1979 zunächst von IBM entwickelt wurde, technisch sehr fortgeschrittene Prinzipien umsetzte, aber nie auf den "Markt" kam. Anfang der 90er Jahre wurde das System im Rahmen der Straffung der Forschungsaktivitäten von IBM an NAG Ltd. weitergegeben und marktreif gemacht. Ende der 90er Jahre orientierte sich NAG strategisch um auf Maple und stellte die weitere Entwicklung von Axiom ein. Das große Interesse einer akademisch verankerten CA-Entwicklergemeinde erreichte, dass die Quellen unter einer BSD-artigen Lizenz freigegeben wurden. Das Projekt wird unter http://savannah.nongnu.org/projects/axiom gehostet.


Magma

Lizenzsituation:

Verfügbarkeit: Die Uni Leipzig verfügt über eine Campuslizenz, die über Herrn Prof. Diem angeschafft und verwaltet wird. Magma läuft unter Linux und Windows.

Installationen:

Linux-Pool Mathematik V2.12-17

Kurzcharakteristik: Ein System der 3. Generation, das in der heutigen Form seit 1985 entwickelt wird, aber auf verschiedene Vorläuferarbeiten (Group, Caylay) aufsetzt. Erste Versionen von Magma erschienen 1994. Das System wird unter Leitung von John Cannon an der School of Mathematics der Sydney University (Australien) weiterentwickelt. Besonderer Schwerpunkt sind Algorithmen der (höheren) Algebra (Gruppen, Ringe), Zahlentheorie und Geometrie. Das Projekt wird unter http://magma.maths.usyd.edu.au/magma gehostet.

Das Lizenzmodell geht von einer Campuslizenz aus, die als Wartungsvertrag über mehrere Jahre abgeschlossen und ggf. verlängert wird. Nach deren Ende steht das System 'as is' weiter zur Verfügung. Zu einem Wartungsvertrag können HomeUse-Verträge hinzugebucht werden. Details auf den Webseiten der Magma-Entwickler.


Maple

Lizenzsituation: Die Uni Leipzig verfügt über eine begrenzte Anzahl von Lizenzen, die zentral vergeben werden. Der Preis für Studentenlizenzen vom Vertreiber für Maple 10 liegen bei etwa 120 Euro.

Verfügbarkeit: Es existieren eine Reihe von Netzwerkinstallationen unter Solaris, Linux und Windows. Für Maple-Versionen bis 9.5 sind auch HomeUse-Lizenzen verfügbar.

Installationen:

Sun-Pool Informatik 9.5
Linux-Pool Mathematik 9.5


Mathematica

Lizenzsituation: Die Uni Leipzig verfügt über eine begrenzte Anzahl von Netzwerk-Lizenzen und keine HomeUse-Lizenzen.

Mehr auch unter der Wolfram Siteinfo der Uni Leipzig. Insbesondere wird dort eine HomeUse-Lizenz für Studenten für 128 Euro sowie eine Semester-Lizenz für 29 Euro angeboten. Ansprechpartner zu Lizenzfragen in Leipzig: Dr. Tomaselli, tel. 97-33302


Maxima

Lizenzsituation: Open Source

Installationen: Binaries für Windows oder Linux können wie unter http://maxima.sourceforge.net/download.shtml beschrieben heruntergeladen werden.

Kurzcharakteristik: Ein Nachfolger des Systems Macsyma, das seit Mitte der 1960er Jahre bis Ende der 1970er Jahre im Rahmen der Untersuchungen zu künstlicher Intelligenz am MIT entwickelt wurde. Anfang der 1980er Jahre war Macsyma das leistungsfähigste CAS, das überhaupt verfügbar war. Vermarktungsversuche in den 1980er und 1990er Jahren schlugen mehrfach fehl, was jeweils das Verschwinden der unterstützenden Infrastruktur zur Folge hatte. Lange Jahre wurde parallel eine Freie Version von Bill Schelter weiterentwickelt. Nach dessen Tod kamen die Reste in ein Open Source Projekt, das heute unter http://maxima.sourceforge.net gehostet ist.


MuPAD

Lizenzsituation: An der Uni Leipzig wurde im Rahmen eines HBFG-Antrags eine Campuslizenz für die Fakultäten Mathe/Info sowie den Fachbereich IMN der HTWK erworben. Auf der Basis ist die letzte eigenständige Version 4.2 dauerhaft in den Pools verfügbar. Zusätzliche HomeUse-Lizenzen laufen bis Ende 2012.

Im Sept. 2008 wurde MuPAD von Mathworks übernommen und wird in Zukunft (nur noch) als Matlab Symbolic Toolbox verfügbar sein. Mit "mupadwelcome" kann man aus Matlab heraus die bisherige MuPAD-Oberfläche in der aktuellen Version 5.2 starten, die gegenüber der Version 4.2 vor allem einige Anpassungen an den neuen Kontext erfahren hat. Hier stehen uns einige Lizenzen bis Ende 2010 zur Verfügung.

Mitarbeiter und Studenten der Fakultäten MathInf, Physik/Geowiss. sowie des Fachbereichs IMN der HTWK können Schlüssel für eine MuPAD-HomeUse-Lizenz abfordern.


Reduce

Lizenzsituation: Reduce ist seit Dezember 2008 Open Source.

Verfügbarkeit: Weitere Informationen siehe http://www.reduce-algebra.com.


apl. Prof. Dr. H.-G. Gräbe