Logo

Mathematical Sciences Research Institute

Home > Pages > Documentation for Mathematical Software

Documentation for Mathematical Software

This page contains links to the documenation for several of the mathematical packages we support. If you don't see a particular application here, please let us know. If you are unable to locate the documenation for an applicaton, contact computing@msri.org for help.

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