Google's software suite for combinatorial optimization
Python library for defining and optimizing mathematical expressions
Matlab toolbox for Geometry Processing
Set of numeric libraries for the Go programming language
Computational geometry and spatial indexing on the sphere
Agena is an interpreted procedural programming language.
A cross-platform statistical package for econometric analysis
Calc: arbitrary precision C-like arithmetic & calculator
Computer Algebra System written in Common Lisp
fast C++ library for linear algebra & scientific computing
Framework for numerical computations, data analysis and visualisation
A Portable General-Purpose Computer Algebra System
Numerical and Symbolic Math Tool
A framework for solving partial differential equations
Uranie is CEA's uncertainty analysis platform, based on ROOT
Surface Explorer 3D plots mathematical surfaces in 3D.
Unicode XML TEI text analysis platform
A language for making art using mathematics
Mixed Integer Linear Programming (MILP) solver.
Proof Logic : A logical framework for theorem proving