Mathematics Packages in use within DPMMS

  • Axiom a general purpose Computer Algebra system.
  • GAP Groups, Algorithms and Programming.
  • GeoGebra
  • Knotscape A package for viewing and calculating properties of knots.
  • Macaulay 2 A system for computations in algebraic geometry and commutative algebra.
  • MAGMA The Magma Computational Algebra System for Algebra, Number Theory and Geometry.
  • Maple A commercial mathematics package from Waterloo Maple.
  • Mathematica A commercial mathematics package from Wolfram Research, Inc.
  • MatLab A commercial mathematics package from MathWorks
  • Maxima Maxima is a descendant of Macsyma.
  • NAg Numerical Algorithms libraries.
  • PARI-GP A software package for computer-aided number theory.
  • Prover9 / Mace4 Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover.
  • R is a language and environment for statistical computing and graphics. It is a capable alternative to S+ which used to be the main package used in the Statistical Laboratory.

Mathematics Packages not currently available within DPMMS

If it isn't listed I've probably never heard of it.

  • Octave Octave is "mostly compatible with Matlab" and free, but reported to be significantly slower than MatLab for some calculations.
  • SIMATH a computer algebra system, especially for number theoretic purpose.
  • SAGE Open Source Mathematics Software.
  • Scilab
  • Singular A Computer Algebra System for Polynomial Computations.

Google's Science > Math > Software directory lists many mathematical software packages.

Assume that the reason that we don't have them is that I believe that no-one wants them, if I'm wrong I need to know.

Please let me know if you want mathematical software, either particular packages, or just to solve a particular type of problem. This is a mathematics department; as computer officer I feel that software to help you do maths should be at least as a high a priority as software to help you to communicate with other mathematicians.
Software to (help you to) teach mathematics should have some importance too.