fast C++ library for linear algebra & scientific computing
Tool support for the Z formal notation
Portable software and data related to Mersenne numbers
Manual counter with the keyboard or the mouse on images
Mixed Integer Linear Programming (MILP) solver.
Mathematics, linear algebra and optimisation
3-D diffusion solver for biological problems
Java math expression parser and script interpreter
Heterogeneous Software Development Accelerated
Easy mathematics in wxWidgets
A portfolio-optimizer using Markowitz(1952) mean-variance model
Bit level lambda continuations and nothing else - Queue automata
A Free and Open Source Java Framework for Multiobjective Optimization
Discrete wavelet methods for time series analysis using python
SL2 (= SLSL) - A Simple Linear Systems Library
Java toolkit for discrete Image and Signal processing.
Module Computation for Metabolic Networks