GP is a calculator built on top of Pari . A tutorial , user guide , and reference card are available online. KASH KASH is a tool for algebraic number theory calculations in number fields and in global function fields. A user guide , and reference manual are available locally. It has a nice interface to geomview for visualization.
Documentation is available online .
Porta Porta is a collection of routines for analyzing polytopes and polyhedra. Most of the routines have driver programs. Being specialized, they are small and fast. MSRI has version 1.3.2 installed on our Linux machines. A general introduction to porta, its file formats, and its various driver programs is available by typing man porta .