Computer Algebra System written in Common Lisp
Calc: arbitrary precision C-like arithmetic & calculator
fast C++ library for GPU linear algebra & scientific computing
COM-wrapper of Cloo to execute OpenCL code from Excel.
Open source finite element software for multiphysical problems
General Mission Analysis Tool
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
Uranie is CEA's uncertainty analysis platform, based on ROOT
Agena is an interpreted procedural programming language.
Framework for numerical computations, data analysis and visualisation
Social Network Analysis and Visualization software
rw calculates rank-width and rank-decompositions.
Open-source C/C++ math engine for advanced scientific computing
Tool support for the Z formal notation
Numerical and Symbolic Math Tool
A Portable General-Purpose Computer Algebra System