Stony Brook Mathematics
Online Software Documentation

Scientific:

• Macaulay 2: a software system devoted to supporting research in algebraic geometry and commutative algebra.
• Macaulay: a system for computing in the fields of algebraic geometry and commutative algebra. Notes for the September 1994 release.
• Singular: a computer algebra system for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.
• CoCoA: a software system for Computations in Commutative Algebra.
• GAP: a system for computational discrete algebra, developed with particular emphasis on computational group theory.
• LiE: a computer algebra system that is specialized in computations involving (reductive) Lie groups and their representions. Basic facts regarding LiE or the PDF manual.
• Pari-GP: a software system aimed to computations in number theory. There is also a nice tutorial.
• KANT/KASH: a computer algebra system for algebraic number theory (computations in number fields and in global function fields, computations in class field theory).
• SIMATH: a computer algebra system for algebraic number theory.
• LiDIA: a C++ library for computational number theory.
• MAXIMA: a Common Lisp implementation of MIT's Macsyma system for computer based algebra.
• Polymake: a versatile tool for the algorithmic treatment of polytopes and polyhedra
• Qhull: a software which computes convex hulls, Delaunay triangulations, Voronoi diagrams, etc. Output can be fed to either Geomview or Mathematica.
• Knotplot: a fairly elaborate program to visualize and manipulate mathematical knots in three and four dimensions
• Evolver: an interactive program for the study of surfaces shaped by surface tension and other energies, and subject to various constraints.
• Snap: a computer program for studying arithmetic invariants of hyperbolic 3-manifolds based on Jeff Weeks' program SnapPea. Snap is described in the paper "Computing arithmetic invariants of 3-manifolds" by Coulson, Goodman, Hodgson and Neumann, Experimental Mathematics Vol.9 (2000) Issue 1.
• Geomview: an interactive program for viewing and manipulating geometric objects
• JavaView: a 3D geometry viewer and a mathematical visualization software. It integrates well also with Maple and Mathematica.
• Surf: a tool to visualize real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces. PDF manual and examples.
• Schubert: a Maple package for Intersection Theory (manual for version 0.992, installed version is 0.996)
• SF: a package of 24 Maple programs that provide an environment for computations involving symmetric functions and related structures, such as the characters of the symmetric groups (also Jack, Kostka polynomials, etc). Examples.
• Coxeter: a package of 38 Maple procedures for working with root systems and finite Coxeter groups, for generating permutation representations and irreducible characters of finite Coxeter groups, etc. A Coxeter tutorial.

(all the above software is available on silver.mathlab.sunysb.edu)

Programming:

• OCaML: Objective Caml is an implementation of the ML language, based on the Caml Light dialect extended with a complete class-based object system and a powerful module system in the style of Standard ML. A list of tutorials on Caml.
• CLISP: Common Lisp interpreter and compiler (version 2.30). Here is a brief Tutorial.
• CMUCL: a free implementation of the Common Lisp programming language.
• ICC: Intel C++ Compiler User's Guide (version 8.0)
• IFC: Intel Fortran Compiler User's Guide (version 8.0)
• GMP: The GNU Multiple Precision Arithmetic Library.
• PostScript: A First Guide to PostScript.

TeX & Graphics:

• TeTeX: On-line help for the installed (te)TeX & LaTeX distribution
• Prosper: A LaT_EX class to produce high quality slides. A Prosper tour and a detailed description of other LaT_EX based tools for creating slides.
• Kile: an integrated LaT_EX environment for the KDE desktop with a graphical interface. A LaT_EX reference guide.
• H_EV_EA: a complete and fast LATEX to HTML translator written in Objective Caml.
• Sodipodi: an SVG oriented vector graphics editor.
• POV-Ray The Persistence of Vision Raytracer is a high-quality tool for creating stunning three-dimensional graphics.
• Blender: a 3D graphics creation suite allowing modeling, animation, rendering, post-production, etc.
• GIMP: the GNU Image Manipulation Program is suitable for such tasks as retouching of photographs, composing and authoring images. It is an alternative to Adobe Photoshop or Corel PhotoPaint. Quick reference index.