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
For exploring cellular automata like Conway's Game of Life.
fast C++ library for linear algebra & scientific computing
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
Calculation with Clifford algebras: C++ library and Python module
Precision Trigonometry: Advanced Calculator for Complex Math
Computer Assisted Proofs in Dynamics
Программа моделирования физики
The Home of DMSFT, AAFFT, GFFT, and MSFFT.
Simulated Airline Travel Solution Provider Library
Software for 3-manifold topology and normal surface theory
A portfolio-optimizer using Markowitz(1952) mean-variance model