**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 |