Google's software suite for combinatorial optimization
Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Supports PEDMAS order of computation and Reverse Polish Notation Gener
Simple Java computer algebra calculator
A Free and Open Source Java Framework for Multiobjective Optimization
Log-linear analysis (data modelling) for high-dimensional data
JBernstein: Exploration techniques for non-linear constraint checking
Utility classes from maps to search engine to random samplers