Package Name

Description

Available Documentation

TeX & LaTeX

Document typesetting 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://wwwgap.dcs.stand.ac.uk/~gap/

web

Geomview version 1.8.1

An program for viewing and manipulating 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.tuberlin.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 20.9.95

Latest version of software supporting research in algebraic geometry and commutative algebra http://www.math.uiuc.edu/Macaulay2/

html

Magma version 2.135

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

Parigp version 2.3.1

A package for computeraided number theory http://pari.math.ubordeaux.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.tuberlin.de/polymake/

html

Qhull version 2.5

A general dimension code for computing convex hulls, Delaunay triangulations, halfspace intersections about a point, Voronoi diagrams, furthestsite Delaunay triangulations, and furthestsite 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.unikl.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
