Google's software suite for combinatorial optimization
Numerical and Symbolic Math Tool
Interactive geometry software for Euclidean and non-Euclidean spaces
A language for making art using mathematics
Computer calculations made easy
A system for computer algebra and symbolic mathematics
Software for exact computing based on interval arithmetic.
An object oriented C++ library for computer algebra
LIME is a software tool for creating multiphysics simulation codes.