Tool support for the Z formal notation
fast C++ library for linear algebra & scientific computing
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
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
manual da gsl em pt-BR
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