Google's software suite for combinatorial optimization
Computational geometry and spatial indexing on the sphere
General Mission Analysis Tool
2D & 3D TeX-Aware Vector Graphics Language
fast C++ library for linear algebra & scientific computing
For exploring cellular automata like Conway's Game of Life.
System dynamics program with additional features for economics
Numerical and Symbolic Math Tool
Calculation with Clifford algebras: C++ library and Python module
Data Visualization and Analysis
Uranie is CEA's uncertainty analysis platform, based on ROOT
Open-source C/C++ math engine for advanced scientific computing
MCPower — simple Monte Carlo power analysis for complex models
Computer Assisted Proofs in Dynamics
Программа моделирования физики
Simulated Airline Travel Solution Provider Library
Software for 3-manifold topology and normal surface theory
A portfolio-optimizer using Markowitz(1952) mean-variance model