Simulink: An interactive environment for modeling, simulating, and prototyping
dynamic systems. Dernière modification le 13 novembre 2002.
GAMS: a high-level modeling system for mathematical programming problems. Dernière modification le 13 novembre 2002.
CPLEX: an optimization software tools for large-scale and mission-critical
applications. Dernière modification le 13 novembre 2002.
Octave: Outil d'analyse numérique libre similaire à Matlab. Dernière modification le 29 avril 2002.
Geomview. Dernière modification le 7 septembre 2000.
FRACLAB: a fractal analysis toolbox for signal processing. Dernière modification le 9 novembre 2001.
MuPAD: Système de calcul formel comparable en puissance, mais pas en
apparence, à Maple et Mathematica. Dernière modification le 18 mars 2002.
matlabPyrTools: some of MatLab tools for multi-scale image processing. Dernière modification le 2 novembre 1999.
ASCEND: an OO mathematical modeling environment and a mathematical modeling
language. Dernière modification le 5 août 2000.
RLaB: matrix oriented, interactive programming environment. Dernière modification le 28 mai 2002.
Nuprl: a mathematical proof development system. Dernière modification le 8 octobre 2001.
AMPL: a modeling language for mathematical programming. Dernière modification le 10 octobre 2002.
Oorange: a software framework for experimental mathematics. Dernière modification le 11 janvier 2000.
Ox: object-oriented matrix language similar to C/C++. Dernière modification le 6 novembre 2002.
Macaulay2: Logiciel de calculs en algèbre commutative et en géométrie
algébrique. Dernière modification le 12 novembre 2002.
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) Dernière modification le 4 septembre 2002.
KANT/KASH: computational algebraic number theory. Dernière modification le 9 novembre 2001.
Ricci: symbolic tensor computations for differential geometry. Dernière modification le 13 novembre 2002.
Singular: a computer algebra system for polynomial computations with special
emphasize on the needs of commutative algebra, algebraic geometry and
singularity theory. Dernière modification le 3 mars 2000.
TELA: large-scale numerical simulations and data processing. Dernière modification le 5 juillet 2002.
WaveLab: library of MATLAB for wavelet analysis. Dernière modification le 6 août 2000.
Chaos analysis software: a suite of programs for chaos analysis. Dernière modification le 4 juillet 1996.
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. Dernière modification le 9 octobre 2002.
JACAL: symbolic simplification and manipulation of equations. Dernière modification le 15 avril 2002.
SDPpack: a Matlab package for semidefinite-quadratic-linear programming. Dernière modification le 5 novembre 1997.
GAOT: genetic algorithm optimization toolbox for Matlab. Dernière modification le 11 février 1999.
Euler: numerical matrix language. Dernière modification le 16 janvier 2002.
ksciplot. Dernière modification le 17 juillet 2002.
Rlab: Mathmatical program similiar to Matlab Dernière modification le 28 mai 2002.
Mx: matrix algebra interpreter and numerical optimizer for structural
equation modeling and other types of statistical modeling of data. Dernière modification le 9 septembre 2002.
gap: computational discrete algebra and group theory. Dernière modification le 17 octobre 2002.
Yacas: Yet Another Computer Algebra System Dernière modification le 23 mai 2002.