|
Package Name
|
Description
|
Available Documentation
|
|
TeX & LaTeX
|
Document typsetting system with emphasis on mathematical formulas
http://www.tug.org/
|
html
|
| Cinderella |
Interactive Geometry Software
http://www.cinderella.de
|
html |
CoCoA
version 4.6
|
Computer algebra system for doing computations in Commutative Algebra
http://cocoa.dima.unige.it/
|
html
|
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/
|
html
|
Geomview
version 1.8.1
|
An program for viewing and manipulationg geometric objects
http://www.geomview.org/
|
html 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 (dvi) (pdf), reference (dvi) (pdf)
|
|
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
|
manual (dvi)
manual (ps)
|
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 10
|
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
Maple Maplets
|
Mathematica
version 5.2
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. Also, you can access
The Mathematica® Journal or
the What's New website
|
Matlab
version R2006b
|
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://www.parigp-home.de/
|
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.geom.umn.edu/software/qhull/
|
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
|
