Software-Libraries
Information Sources
MathematicalSoftware. Link to TU München.
Selected Programs
ABACUS. A Branch-And-CUt System
ACE. A Maple Library for Algebraic Combinatorics Computations
AIMMS. Optimization Software for Operations Research Applications
AMPL. A Modeling Language for Mathematical Programming
ATLAS. Finite Group Representations
CPLEX. Linear Programming Environment
CTAN. Comprehensive TeX Archive Network
GAP. System for Computational Discrete Algebra
GLPK. Linear Programming Kit
Graphlet. A Toolkit for Implementing Graph Editors and Graph Drawing Algorithms
LEDA. A Platform for Combinatorial and Geometric Computing
LiSA. A Library of Scheduling Algorihms
LOLA. A Library of Location Algorithms
MAGMA. Computational Algebra System for Algebra, Number Theory and Geometry
Mathematica. Integrated Technical Computing System
Maxima. A Computer Algebra System
MCF. A Network Simplex Implementation
Octave. A high-level language, primarily intended for numerical computations
Polymake. A Tool for the Algorithmic Treatment of Polytopes and Polyhedra
Sage. Software application with features covering many aspects of mathematics, including algebra, combinatorics, numerical mathematics, and calculus
Scilab. A high-level, numerically oriented programming language
SF. Maple Packages for Symmetric Functions, Posets, Root Systems and Finite Coxeter Groups
SoPlex The Sequential Object-Oriented Simplex Class Library
VBCTOOL. A Graphical Interface for Visualization of Branch Cut algorithms
XPRESS. An Integrated LP and MIP Modelling and Optimisation System