A portable, multi-platform, command-line driven graphing utility
Tool support for the Z formal notation
fast C++ library for linear algebra & scientific computing
Computer Algebra System written in Common Lisp
fast C++ library for GPU linear algebra & scientific computing
MathMod is a mathematical modeling software
Fast integrator of stochastic partial differential equations
Portable software and data related to Mersenne numbers
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Step by step math solutions for everyone
A shared memory parallel sparse matrix library including Sparse BLAS.
Manual counter with the keyboard or the mouse on images
Automated integer factorization
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