The MODULEF library contains about 3000 procedures written in Fortran 77. These procedures were designed with the utmost concern for software portability. The approach used in building this library of procedures is a combination of abstract approach and modular programming. By implementing a top-down design, mathematical formulations are split into successive operators.
(commercial) MOSEK is an optimization toolbox for MIDEVA and MATLAB. MOSEK is compatible with a subset of the MathWorks Optimization Toolbox version 2, and includes a much-faster implementation for linprog, quadprog, lsqnonneg, and lsqlin.
(commercial) MSC.Patran provides a complete software environment for companies performing simulation of mechanical products.
MUMPS is a MUltifrontal Massively Parallel sparse direct Solver. It provides a Solution of large linear systems with symmetric positive definite matrices, general symmetric matrices, and general unsymmetric matrices.
MV++ is a small, efficient, set of concrete vector and simple matrix classes for numerical computing. It is not intended as a general vector container class, but rather designed specifically for optimized numerical computations on RISC and pipelined architectures. It is one step above a C/C++ array.
Nast++ is a C++ framework for solving Navier-Stokes equations with complex geometries (in German).
A set of GTK+ bindings for Octave, to help develop GUI programs from Octave, with GTK+. It aims to aid fast creation of scientific programs that need GUIs as well as number crunching power.
OPBDP is an implementation in C++ of an implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.
OpenAxiom is an open source platform for symbolic, algebraic, and numerical computations. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
Orderpack contains public domain Fortran 90 source code for a wide variety of general and specialized ordering problems.
Overture is an object-oriented code framework for solving partial differential equations. It provides a portable, flexible software development environment for applications that involve the simulation of physical processes in complex moving geometry.
pdelib is a collection of software components which are useful to create simulators based on partial differential equations. The main idea of the package is modularity, based on a pattern oriented bottom up design. The user interface is based on the powerful scripting language Lua. Modern 3D graphics hardware output can be utilized for online visualization and generation of MPEG videos.
PDEsim is a Monte Carlo partial differential equation solver.
peak-o-mat (former lorentz) is a curve fitting program aimed for fast and easy fitting of spectroscopic data, especially if you face a large amount of similar spectra.
PHAML is a parallel program for the solution of 2D elliptic partial differential equations using low or high order finite elements, adaptive mesh refinement based on newest node bisection of triangles, and multigrid. All aspects of the method are based on the hierarchical basis functions.
The Portable Parallel Branch-and-Bound Library (PPBB-Library) presents an easy way to parallelize sequential Branch-and-Bound algorithms for several architectures. A user of the library, who wants to run his sequential algorithm on a parallel system, needs neither knowledge about the hardware architecture nor the parallelization mechanisms.
PVODE is a solver for large systems of ordinary differential equations on parallel machines. It contains methods for the solution of both stiff and non-stiff initial value problems.
pysimplex provides some basic symbolic programming tools for constructing, solving and optimizing systems of linear equations and inequalities.
The QMG package generates finite element meshes in two and three dimensions. QMG is free software distributed at the source-code level. Although QMG is free, it is copyrighted by Cornell University. The package includes some geometric modeling software, the mesh generator itself, and an elementary finite element solver. The software is written in C++, Tcl/Tk and Matlab.
radarfdtd lets you compute the propagation of electromagnetic waves according to Maxwell's equations.
(commercial) SIMTEC is a FEM based solidification modeling program.
SLFFEA stands for San Le's Free Finite Element Analysis. It is a package of scientific software and graphical user interfaces for use in finite element analysis. It is written in ANSI C by San Le and distributed under the terms of the GNU license.
Solving Constraint Integer Programs
SCIP is a framework for Constraint Integer Programming oriented towards the needs of Mathematical Programming experts who want to have total control of the solution process and access detailed information down to the guts of the solver. SCIP can also be used as pure MIP solver or as framework for branch-cut-and-price.
The program SolvOpt (Solver for local optimization problems) is concerned with minimization or maximization of nonlinear, possibly non-smooth objective functions and solution of nonlinear minimization problems taking into account constraints by the method of exact penalization.
StarFLIP++ is a reusable iterative optimization library for combinatorial problems with fuzzy constraints.
SYMPHONY is a fully parallel, generic implementation of the branch, cut, and price algorithm for solving integer and mixed-integer programs. The user of the library need only supply model-specific preprocessing and separation functions to implement a state-of-the-art branch and cut algorithm for virtually any problem setting.
Systems of Ordinary Differential Equations
SODE uses long Taylor series to solve systems of ordinary differential equations. It generates code to solve the equations in either Icon (or Unicon) or Maple. Using the Taylor series, estimates are made of the location and order of poles. An effort is made to adjust H to control the error. It has worked well in testing, but needs more testing as there are so many possibilities.
TeLa is a numerical computing environment mainly targeted for numerical simulation pre- and postprocessing work.
VBCTOOL is a graphical interface for Visualization of Branch Cut algorithms.
Xcog is an interactive 2-D overlapping grid generator.
XPPAUT is for the analysis and simulation of dynamic systems. It includes AUTO, a bifurcation package, as well as dozens of other useful routines. Differential equations, maps, stochastic systems, delay equations, integral equations, and other systems are easily solved and plotted.