OpenGL Mathematics (GLM)
Google's software suite for combinatorial optimization
fast C++ library for linear algebra & scientific computing
General Mission Analysis Tool
2D & 3D TeX-Aware Vector Graphics Language
For exploring cellular automata like Conway's Game of Life.
System dynamics program with additional features for economics
Data Visualization and Analysis
Numerical and Symbolic Math Tool
Precision Trigonometry: Advanced Calculator for Complex Math
Uranie is CEA's uncertainty analysis platform, based on ROOT
Calculation with Clifford algebras: C++ library and Python module
Computer Assisted Proofs in Dynamics
Simple Long Integer Math for C++
Simulated Airline Travel Solution Provider Library
Software for 3-manifold topology and normal surface theory
Linear algebra and solver library using CUDA, OpenCL, and OpenMP