libtsnnls is a fast solver for least-squares problems in the
form Ax = b under the constraint that all entries in the
solution vector x are non-negative.
Developed by Jack Dongarra, Jim Bunch, Cleve Moler and Pete Stewart.
1 Feb 84
Used as part of Matlab, and often used to benchmark machines.
Otherwise it is a very good linear algebra package.
This software calculates a normalized version of the classical spectral test for
linear congruential pseudorandom number generators (LCGs), where the shortest
vector is replaced by an approximation obtained with the Lenstra-Lenstra-Lovasz
basis reduction algorithm, which can be calculated in polynomial time. The code
is able to test in up to 24 dimensions, and includes an example of how to use
the test to search for good LCG parameters.
This is the lp_solve, A free linear programming solver that can process
standard MPL format, LP format or be accessed directly from your code
via API calls from a library. This lp_solve version is released under
the LGPL license. See LGPL.txt.
http://sourceforge.net/projects/lpsolve/
lrng is a collection of uniform pseudorandom number
generators, written in C, and based on algorithms by Francois
Panneton, Pierre L'Ecuyer, and Makoto Matsumoto.
ltl2ba implements an algorithm of P. Gastin and D. Oddoux to generate
Buechi automata from linear temporal logic (LTL) formulae. This
algorithm generates a very weak alternating automaton and then
transforms it into a Buechi automaton, using a generalized Buechi
automaton as an intermediate step. Each automaton is simplified
on-the-fly in order to save memory and time. As usual the LTL formula
is simplified before any treatment. ltl2ba is more efficient than
Spin 3.4.1, with regard to the size of the resulting automaton,
the time of the computation, and the memory used.
MathMod is a mathematical modeling software that visualize and animate implicit
and parametric surfaces.
MathMod supports: 3D and 4D plotting and animation, OBJ output file format,
Texture and pigmentation support, Noise and Turbulence effects support, Large
set of scripted examples.
Mathomatic is a highly portable, general purpose CAS (Computer Algebra System).
Mathomatic can:
* Solve, simplify, and compare algebraic equations,
* Perform calculus transformations,
* Help with finite series analysis,
* Perform complex number and polynomial arithmetic,
* Generate efficient C or Java code from equations.
matio is an ISO C library for reading and writing Matlab MAT files.
A comprehensive package for structural multivariate function estimation using
smoothing splines.