Maple (mathematical manipulation language) ist ein Computeralgebrasystem für Algebra, Analysis, diskrete Mathematik, Numerik und viele andere Teilgebiete der Mathematik.
Mathematica des Unternehmens Wolfram Research ist ein „All-in-One-System“ zur Computeralgebra, Visualisierung, aber auch eine Computersprache mit integriertem Formelsatz-System.
Die Ruhr-Universität Bochum hält Verträge mit Microsoft für verschiedene Microsoft Produkte. Bestimmte Mitarbeitendengruppen sowie Studierende der RUB können Lizenzen hierfür nutzen, mieten oder erwerben.