Computer Algebra System written in Common Lisp
fast C++ library for linear algebra & scientific computing
Tool support for the Z formal notation
MathMod is a mathematical modeling software
A shared memory parallel sparse matrix library including Sparse BLAS.
fast C++ library for GPU linear algebra & scientific computing
Fast integrator of stochastic partial differential equations
Portable software and data related to Mersenne numbers
Mathematical & engineering components for software development
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Manual counter with the keyboard or the mouse on images
Mixed Integer Linear Programming (MILP) solver
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
Mathematics, linear algebra and optimisation
Program to solve differential equations using long Taylor series
3-D diffusion solver for biological problems
Java math expression parser and script interpreter
Heterogeneous Software Development Accelerated