Package Name | Description | Available Documentation |
| TeX & LaTeX | Document typsetting system with emphasis on mathematical formulas
http://www.tug.org/ | Tex & LaTex |
| Cinderella | Interactive Geometry Software
http://www.cinderella.de | web |
CoCoA
version 4.6 | Computer algebra system for doing computations in Commutative Algebra
http://cocoa.dima.unige.it/ | web |
Gap
version 4.4.9 | A system for computational discrete algebra with emphasis on computational group theory
http://www-gap.dcs.st-and.ac.uk/~gap/ | web |
Geomview
version 1.8.1 | An program for viewing and manipulationg geometric objects
http://www.geomview.org/ | pdf |
KASH
version 2.5 | A program library for computations in algebraic number fields and (global) algebraic function fields
http://www.math.tu-berlin.de/~kant/kash.html | manual and reference |
| Macaulay | Often referred to as the "Classic" version, this is the original verion of software intended to be a system for computations in algebraic geometry and commutative algebra
http://www.math.columbia.edu/~bayer/Macaulay/index.html | http://www.math.columbia.edu/~bayer/Macaulay/index.html |
Macaulaly2
version 2-0.9.95 | Latest version of software supporting research in algebraic geometry and commutative algebra
http://www.math.uiuc.edu/Macaulay2/ | html |
Magma
version 2.13-5 | For computationally complex problems in algebra, number theory, geometry and combinatorics
http://magma.maths.usyd.edu.au/magma/ | html |
Maple
version 12 | An advanced mathematical problem solving and programming environment Also introducing Maple Maplets: an add-on package that assists users in the creation and customization of a graphical user interface for Maple
http://www.maplesoft.com | Documentation for Maple is available from within the application |
Mathematica
version 7.0.0
See what's new | A complete math package that functions as a numeric and symbolic computational engine, graphics system, programming language, documentation system - all in one
http://www.wolfram.com | Documentation for Mathematica is available from within the application.
In addition, you may take advantage of free demonstrations and screencasts produced by Wolfram, or you may sign up for one of their free seminars:
http://demonstrations.wolfram.com
http://www.wolfram.com/broadcast/screencasts
http://www.wolfram.com/services/education/seminars
You may also access The Mathematica® Journal or the What's New website. |
Matlab
version R2008b | Computational aid for advanced analyses, data visualization and algorithm development
http://www.mathworks.com | html |
Pari-gp
version 2.3.1 | A package for computer-aided number theory
http://pari.math.u-bordeaux.fr/ | userguide (dvi), tutorial (dvi), reference card (dvi),
using pari from within emacs |
Polymake
version 2.2 | For the algorithmic treatment of polytopes and polyhedra
http://www.math.tu-berlin.de/polymake/ | html |
Qhull
version 2.5 | A general dimension code for computing convex hulls, Delaunay triangulations, halfspace intersections about a point, Voronoi diagrams, furthest-site Delaunay triangulations, and furthest-site Voronoi diagrams.
http://www.qhull.org/ | html |
SAGE
version 1.4.1 | | html |
Singular
version 3.0.2 | A computer algebra system for polynomial computations
http://www.singular.uni-kl.de/ | html |
Surf
version 1.0.5 | A tool for the visualization of algebraic geometry, plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces
http://surf.sourceforge.net/ | html |
