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 ist ähnlich dem von MuPAD und 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 und 10 (maple10)

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

Installationen:

CIP-Pool Informatik 4.1
Linux-Pool Mathematik 5.0

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 sind Upgrades bis 2010 bezahlt und das Basis-System auch darüber hinaus verfügbar. Zusätzliche HomeUse-Lizenzen sind bis Ende 2007 bezahlt und es ist angestrebt, das HomeUse-Abkommen auch weiter zu verlängern. Die Wirtschaftswissenschaftliche Fakultät hat im Nov. 2006 beschlossen, sich daran nicht weiter zu beteiligen.

Die Entwickler von MuPAD haben gerade eine neue Version 4.0 mit einer exzellenten Grafik herausgebracht, die auf den qt-Bibliotheken aufbaut und für Windows, Linux und Mac verfügbar ist. Für Sun-Sparc sind nur ältere Versionen verfügbar.

MuPAD hat im Sept. 2008 angekündigt, dass es von MATLAB übernommen wurde und in Zukunft (nur noch) als Matlab Symbolic Toolbox verfügbar sein wird.

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.

Installationen:

Windows-Pool Informatik 4.0
Linux-Pool Mathematik 4.0
Windows-Pool Mathematik 4.0

Reduce

Lizenzsituation: Die Uni Leipzig verfügt über eine Sitelizenz, die auch als HomeUse-Lizenz verfügbar ist.

Installationen:

Sun-Pool Informatik 3.7

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