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