Google's software suite for combinatorial optimization
Computational geometry and spatial indexing on the sphere
Calculation with Clifford algebras: C++ library and Python module
General Mission Analysis Tool
fast C++ library for linear algebra & scientific computing
2D & 3D TeX-Aware Vector Graphics Language
For exploring cellular automata like Conway's Game of Life.
Numerical and Symbolic Math Tool
System dynamics program with additional features for economics
Data Visualization and Analysis
Uranie is CEA's uncertainty analysis platform, based on ROOT
Precision Trigonometry: Advanced Calculator for Complex Math
Computer Assisted Proofs in Dynamics
Fractals generator with powerful functionality.
Программа моделирования физики
Simulated Airline Travel Solution Provider Library
Software for 3-manifold topology and normal surface theory
The 'runjags' R package and standalone JAGS extension module