Scilab: Scilab is a scientific software package for numerical computations in a
user-friendly environment. Scilab is similar to the commercial software
Matlab. Last modification on October 11 2000.
FRACLAB: a fractal analysis toolbox for signal processing. Last modification on November 29 1999.
MuPAD: A powerful computer algebra system. Last modification on December 2 2000.
matlabPyrTools: some of MatLab tools for multi-scale image processing. Last modification on November 2 1999.
RLaB: matrix oriented, interactive programming environment. Last modification on December 24 2000.
Nuprl: a mathematical proof development system. Last modification on September 3 2000.
AMPL: a modeling language for mathematical programming. Last modification on December 23 2000.
Oorange: a software framework for experimental mathematics. Last modification on January 11 2000.
Ox: object-oriented matrix language similar to C/C++. Last modification on April 10 1999.
GRTensorII: computer algebra package for differential geometry. Last modification on June 1 2000.
Macaulay2: Macaulay 2 is a new software system devoted to supporting research in
algebraic geometry and commutative algebra. Last modification on November 11 2000.
The Magma System for Algebra, Number Theory and Geometry: ``Magma is a radically new system designed to solve computationally hard
problems in algebra, number theory, geometry and combinatorics. Magma provides
a mathematically rigorous environment for computing with algebraic and
geometric objects.'' (Commercial) Last modification on August 14 2000.
KANT/KASH: computational algebraic number theory. Last modification on January 29 1999.
Ricci: symbolic tensor computations for differential geometry. Last modification on December 18 2000.
Singular: a computer algebra system for polynomial computations with special
emphasize on the needs of commutative algebra, algebraic geometry and
singularity theory. Last modification on March 3 2000.
TELA: large-scale numerical simulations and data processing. Last modification on October 17 2000.
WaveLab: library of MATLAB for wavelet analysis. Last modification on August 6 2000.
LiDIA: LiDIA is a C++ library for computational number theory which provides a
collection of highly optimized implementations of various multiprecision data
types and time-intensive algorithms. The entire LiDIA functionality can be used
interactively through LiDIA's LC interpreter. LC implements a subset of C++ and
provides in addition to standard programming facilities, function overloading
and automatic coercions. Last modification on November 23 2000.
JACAL: symbolic simplification and manipulation of equations. Last modification on December 10 2000.
SDPpack: a Matlab package for semidefinite-quadratic-linear programming. Last modification on November 5 1997.
FreeFEM: a program dedicated to partial differential equations based on the
Gfem language. Last modification on September 23 2000.
GAOT: genetic algorithm optimization toolbox for Matlab. Last modification on February 11 1999.
GISOLV: general iterative solver for large scale linear system. Last modification on February 23 1999.
Euler: numerical matrix language. Last modification on December 15 1997.