fast C++ library for linear algebra & scientific computing
Tool support for the Z formal notation
fast C++ library for GPU linear algebra & scientific computing
Program to generate permutations and combinations
MathMod is a mathematical modeling software
Portable software and data related to Mersenne numbers
Automated integer factorization
Mixed Integer Linear Programming (MILP) solver.
Mathematics, linear algebra and optimisation
Heterogeneous Software Development Accelerated
Easy mathematics in wxWidgets
MathTools is an aid in preparing printed math tests.
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
python2/3: compute polyfit (1D, 2D, N-D) without thirdparty libraries
Java toolkit for discrete Image and Signal processing.
A calculator capable of complex arithmetics
ATMSP - A Tiny Mathematical Speed Parser