Computer-Algebra-Systeme

(kostenpflichtig) Mupad http://www.sciface.com/

• ist im Pool (Z423) installiert.
• wegen Home-Use-Lizenzen siehe http://www.informatik.uni-leipzig.de/~graebe/ComputerAlgebra/mupad-lizenz.html
• wer die originale Suse-Linux-CD 9.1 besitzt, darf das dort enthaltene mupad-2.5.2 benutzen.

(frei)

• Axiom http://wiki.axiom-developer.org/FrontPage ist im Pool (Z423) installiert.
• (wx)Maxima http://maxima.sourceforge.net/ http://wxmaxima.sourceforge.net/
• Geonext http://geonext.uni-bayreuth.de/
• Coq/Coqide http://coq.inria.fr/ ist im Pool (Z423) installiert