Symja - Java computer algebra language & symbolic math library
Unicode XML TEI text analysis platform
Computation and Visualization environment
This is a Java APP for Probability and Statistics Tables
Imports bibtex references from MathSciNet
JBernstein: Exploration techniques for non-linear constraint checking
A lqfb delegation analyser. A 3d directed weighted multi graph.
Octave Eclipse GUI
combinational logic functions minimization