Computer Algebra System written in Common Lisp
A cross-platform statistical package for econometric analysis
Calc: arbitrary precision C-like arithmetic & calculator
fast C++ library for GPU linear algebra & scientific computing
Open source finite element software for multiphysical problems
General Mission Analysis Tool
A shared memory parallel sparse matrix library including Sparse BLAS.
MathMod is a mathematical modeling software
For exploring cellular automata like Conway's Game of Life.
2D & 3D TeX-Aware Vector Graphics Language
Arbitrary-precision CRC calculator and algorithm finder
Fast integrator of stochastic partial differential equations
Uranie is CEA's uncertainty analysis platform, based on ROOT
Agena is an interpreted procedural programming language.
Social Network Analysis and Visualization software
Tool support for the Z formal notation
rw calculates rank-width and rank-decompositions.
Open-source C/C++ math engine for advanced scientific computing
Drop In the Bucket Neural Networks
Numerical and Symbolic Math Tool