Python library for defining and optimizing mathematical expressions
Tool support for the Z formal notation
Symja - Java computer algebra language & symbolic math library
Program for drawing 3D surfaces from parametric equations
A Free and Open Source Java Framework for Multiobjective Optimization
A C++ template library extending syntax towards mathematical notation