Ports Search

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.